diff --git a/html/main.php b/html/main.php
index 8471e3eea3751e21ed743551bfa80a99d85ef8f4..2ae93bc3c554dcbc84c5c8e1f7933e118e994a6d 100644 (file)
--- a/html/main.php
+++ b/html/main.php
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 ();
+if(ini_get("session.gc_maxlifetime")){
+
+}
if ($_SERVER["REQUEST_METHOD"] == "POST"){
@DEBUG (DEBUG_POST, __LINE__, __FUNCTION__, __FILE__, $_POST, "_POST");
}
/* Reset errors */
-$_SESSION['errors']= "";
+$_SESSION['errors'] = "";
$_SESSION['errorsAlreadyPosted']= array();
-$_SESSION['LastError'] ="";
+$_SESSION['LastError'] = "";
/* Check for uniqe ip address */
$ui= $_SESSION["ui"];
compromise between speed and beeing up to date */
if (isset($_GET['reset'])){
if (!isset($_SESSION['cached_departments'])){
- $_SESSION['cached_departments']= get_departments();
+ $config->get_departments();
+ $_SESSION['cached_departments']= $config->departments;
+ } else {
+ $config->departments= $_SESSION['cached_departments'];
}
- $config->departments= $_SESSION['cached_departments'];
$config->make_idepartments ();
if (isset($_SESSION['objectinfo'])){
unset ($_SESSION['objectinfo']);