From 18d80742bf7b275c5136a3594173b94ff766f365 Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Thu, 4 Jun 2015 20:52:34 +0200
Subject: [PATCH] Fix bug in session handler

---
 lib/utils.inc.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 311713d..a792bd5 100644
--- 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;
     }
 
-- 
2.39.2