diff --git a/html/main.php b/html/main.php
index 160017b6b9e3cd3bb5cd71227a3652d1fab4f904..660cd712b111e5ca6406d1b42604cca797fb492c 100644 (file)
--- a/html/main.php
+++ b/html/main.php
/* 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");
}
/* 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']);
}
@@ -378,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);