Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 311713d59b0ba605982c40862820d1f9f2f3ff51..a792bd5214b75ed5415497f7ad9de997927e3fea 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -178,6 +178,7 @@ class Utils {
         global $CFG;
         $loggedIn = false;
 
+        echo '$this->user: '.$this->user.' $_SESSION['user']: '.$_SESSION['user'];
         if ($this->user) {
             $loggedIn = true;
         } else if (isset($_SESSION['user'])) {
@@ -192,6 +193,10 @@ class Utils {
             }
         }
 
+        if ($loggedIn == false {
+            echo 'R_TIME: '.date('c', $_SERVER['REQUEST_TIME']).' L_ACT: '.date('c', $_SESSION['LAST_ACTIVITY']);
+            exit;
+        }
         return $loggedIn;
     }