Automatically redirect to logout page if session seems to be expired
[infodrom/hallinta] / index.php
1 <?php
2 require_once('init.php');
3 require_once('lib/menu.php');
4
5 $jsfiles = array('lib/json_parse.js');
6 $jscode = '';
7 $menu = menu();
8 $html = process();
9 $debug = debug_info();
10
11 $gcml = ini_get('session.gc_maxlifetime');
12 $refresh = $gcml < 8*60*60 ? $gcml + 60*60 : $gcml;
13
14 ?>
15 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
16 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="de">
17 <head>
18 <title><?=PAGETITLE?></title>
19 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
20 <?=load_js($jsfiles, $jscode);?>
21 <link href="stylesheet.css" rel="stylesheet" type="text/css">
22 <link href="style.css" rel="stylesheet" type="text/css">
23 <link href="dropdown.css" rel="stylesheet" type="text/css">
24 <link href="theme.php" rel="stylesheet" type="text/css">
25 <?=load_style($style);?>
26 </head>
27 <body>
28 <div id="logout_refresh" style="display: none;"><?=$refresh?></div>
29 <div id="header">
30 <h1><?=TITLE?></h1>
31 <?=$menu; ?>
32 </div>
33
34 <div class="content">
35 <?=$html; ?>
36 </div>
37
38 <?=$debug; ?>
39 </body>
40 </html>