Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 21724ec002921e43ca1e18ca5a38f8ef672d168b..9e2f6bf0327b5a52b5e7cba3239c3a6d02b95a23 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -2,7 +2,7 @@
 /* vim: set ts=4 tw=0 sw=4 noet: */
 require_once $CFG->root .'config.php';
 
-class Utils {
+class Utils implements Serializable {
 
     private static $_instance = null;
     private $server;
@@ -55,10 +55,23 @@ class Utils {
         }
         $_SESSION['user'] = $this->user;
         $_SESSION['is_admin'] = $this->is_admin;
+        $_SESSION['Utils'] = serialize($this);
     }
 
     private function __clone() {}
 
+    public function serialize() {
+        file_put_contents('/tmp/dump', 'Serialize called: '.var_export($this, true), FILE_APPEND);
+        return serialize(get_object_vars($this));
+    }
+
+    public function unserialize($data) {
+        $values = unserialize($data);
+        foreach ($values as $key=>$value) {
+            $this->$key = $value;
+        }
+    }
+
     private function startSession() {
         global $CFG;
 
@@ -82,7 +95,12 @@ class Utils {
         global $CFG;
 
         if (!is_object(self::$_instance)) {
-            self::$_instance = new Utils();
+            if (isset($_SESSION['Utils'])) {
+                self::$_instance = unserialize($_SESSION['Utils']);
+                file_put_contents('/tmp/dump', 'Unserialize called: '.var_export($this, true), FILE_APPEND);
+            } else {
+                self::$_instance = new Utils();
+            }
         }
 
         $time = $_SERVER['REQUEST_TIME'];