Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 0bae909e90112c35b7808a06854abc10d876fe97..dc6625aa6c0fac784acadf98c8eb3664252ef6dc 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -178,7 +178,7 @@ class Utils {
         global $CFG;
         $loggedIn = false;
 
-        echo '$this->user: '.$this->user.' $_SESSION['user']: '.$_SESSION['user'];
+        echo '$this->user: '.$this->user.' $_SESSION[\'user\']: '.$_SESSION['user'];
         if ($this->user) {
             $loggedIn = true;
         } else if (isset($_SESSION['user'])) {