diff --git a/html/main.php b/html/main.php
index 2ae93bc3c554dcbc84c5c8e1f7933e118e994a6d..660cd712b111e5ca6406d1b42604cca797fb492c 100644 (file)
--- a/html/main.php
+++ b/html/main.php
/* Remember everything we did after the last click */
session_start ();
-if(ini_get("session.gc_maxlifetime")){
-
-}
+$_SESSION['limit_exceeded'] =FALSE;
if ($_SERVER["REQUEST_METHOD"] == "POST"){
@DEBUG (DEBUG_POST, __LINE__, __FUNCTION__, __FILE__, $_POST, "_POST");
/* Load department list when plugin has changed. That is some kind of
compromise between speed and beeing up to date */
if (isset($_GET['reset'])){
- if (!isset($_SESSION['cached_departments'])){
- $config->get_departments();
- $_SESSION['cached_departments']= $config->departments;
- } else {
- $config->departments= $_SESSION['cached_departments'];
- }
- $config->make_idepartments ();
if (isset($_SESSION['objectinfo'])){
unset ($_SESSION['objectinfo']);
}
@@ -382,8 +373,9 @@ 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);