Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 13d5ec9cde900d96fa8562313e81e83823151b9d..c90b98bfb89b32a22fb6da9303b8dd0c51fff11e 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -75,6 +75,8 @@ class Utils implements Serializable {
     private function startSession() {
         global $CFG;
 
+        session_unset();
+        session_destroy();
         if (isset($CFG->session_timeout)) {
             $this->timeout = $CFG->session_timeout * 60;
         } else {
@@ -94,6 +96,7 @@ class Utils implements Serializable {
     public static function getInstance() {
         global $CFG;
 
+        session_start();
         if (!is_object(self::$_instance)) {
             if (isset($_SESSION['Utils'])) {
                 self::$_instance = unserialize($_SESSION['Utils']);