Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 723a133080e51f2d0a915200edd928c062945a61..5abc5863eeb71c51ad3a9aea19f93c42b8e8098c 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -110,7 +110,7 @@ class Utils implements Serializable {
             exit;
             session_unset();
             session_destroy();
-            self::$_instance = null;
+            self::$_instance->user = null;
             self::$_instance->is_admin = false;
             $_SESSION['Utils'] = serialize(self::$_instance);
         } else {