diff --git a/html/main.php b/html/main.php
index dc33b4831c47463b5ed3d949186dc499245be44e..660cd712b111e5ca6406d1b42604cca797fb492c 100644 (file)
--- a/html/main.php
+++ b/html/main.php
*/
/* Basic setup, remove eventually registered sessions */
+$start = microtime();
$timing= array();
require_once ("../include/php_setup.inc");
require_once ("functions.inc");
bindtextdomain($domain, "$BASE_DIR/locale");
textdomain($domain);
-/* Set cookie lifetime to one day */
+/* Set cookie lifetime to one day (The parameter is in seconds ) */
session_set_cookie_params(24*60*60);
+/* Set cache limter to one day (parameter is minutes !!)*/
+session_cache_expire(60*24); // default is 180
+
+/* Set session max lifetime, to prevent the garbage collector to delete session before timeout.
+ !! The garbage collector is a cron job on debian systems, the cronjob will fetch the timeout from
+ the php.ini, so if you use debian, you must hardcode session.gc_maxlifetime in your php.ini */
+ini_set("session.gc_maxlifetime",24*60*60);
+
/* Remember everything we did after the last click */
session_start ();
+$_SESSION['limit_exceeded'] =FALSE;
if ($_SERVER["REQUEST_METHOD"] == "POST"){
@DEBUG (DEBUG_POST, __LINE__, __FUNCTION__, __FILE__, $_POST, "_POST");
}
/* Reset errors */
-$_SESSION['errors']= "";
+$_SESSION['errors'] = "";
+$_SESSION['errorsAlreadyPosted']= array();
+$_SESSION['LastError'] = "";
/* Check for uniqe ip address */
$ui= $_SESSION["ui"];
/* Load department list when plugin has changed. That is some kind of
compromise between speed and beeing up to date */
if (isset($_GET['reset'])){
- $config->departments= get_departments();
- $config->make_idepartments ();
if (isset($_SESSION['objectinfo'])){
unset ($_SESSION['objectinfo']);
}
$header= "<!-- headers.tpl-->".$smarty->fetch(get_template_path('headers.tpl'));
-
/* React on clicks */
if ($_SERVER["REQUEST_METHOD"] == "POST"){
lock at this point globally. Plugins do not need to remove it. */
if (isset($_POST['delete_lock']) && isset($_SESSION['dn'])){
del_lock ($_SESSION['dn']);
+
+ /* Set old Post data */
+ if(isset($_SESSION['LOCK_VARS_USED'])){
+ foreach($_SESSION['LOCK_VARS_USED'] as $name => $value){
+ $_GET[$name] = $value;
+ $_POST[$name] = $value;
+ }
+ }
sess_del ('dn');
}
}
/* Close div/tables */
+
+/* Print_out last ErrorMessage repeated string.
+ */
+print_red(NULL);
+
$smarty->assign("contents", $display);
+
if (isset($_SESSION['errors'])){
$smarty->assign("errors", $_SESSION['errors']);
}
@@ -350,8 +373,26 @@ if ((isset($config->data['MAIN']['W3CTEST']) && preg_match('/true/i', $config->d
/* Show page... */
echo $display;
-/* Save plist */
+/* Save plist and config */
$_SESSION['plist']= $plist;
+$_SESSION['config']= $config;
+/* Echo compilation time * /
+$r = split(" ",$start);
+$ms = $r[0];
+$s= $r[1];
+
+$re = split(" ",microtime());
+$mse = $re[0];
+$se= $re[1];
+
+$add = 0;
+if(($mse -$ms)<0){
+ $se --;
+ $add = 1;
+}
+echo ($se -$s).",";
+echo (int)(($add+($mse -$ms))*1000)." s";
+*/
// vim:tabstop=2:expandtab:shiftwidth=2:filetype=php:syntax:ruler:
?>