Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 9e2f6bf0327b5a52b5e7cba3239c3a6d02b95a23..723a133080e51f2d0a915200edd928c062945a61 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -110,8 +110,9 @@ class Utils implements Serializable {
             exit;
             session_unset();
             session_destroy();
-            self::$_instance->user = null;
+            self::$_instance = null;
             self::$_instance->is_admin = false;
+            $_SESSION['Utils'] = serialize(self::$_instance);
         } else {
             $_SESSION['LAST_ACTIVITY'] = $time;
         }
@@ -185,6 +186,8 @@ class Utils implements Serializable {
             $this->loginStatus = 'Connect to LDAP server failed';
         }
 
+        $_SESSION['Utils'] = serialize($this);
+
         return $result;
     }
 
@@ -215,6 +218,9 @@ class Utils implements Serializable {
             echo 'R_TIME: '.date('c', $_SERVER['REQUEST_TIME']).' L_ACT: '.date('c', $_SESSION['LAST_ACTIVITY']);
             exit;
         }
+
+        $_SESSION['Utils'] = serialize($this);
+
         return $loggedIn;
     }
 
@@ -243,6 +249,8 @@ class Utils implements Serializable {
         $this->header = str_replace('__TITLE__', $heading, $this->header);
         $this->header = str_replace('__ROOT__', $CFG->wwwroot, $this->header);
         $this->header = str_replace('__TIMEOUT__', $timeout, $this->header);
+
+        $_SESSION['Utils'] = serialize($this);
     }
 
     public function convertContent($code) {