From c05192963fbae8838cc9210487dfffce5aa05ccb Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Thu, 4 Jun 2015 19:28:23 +0200
Subject: [PATCH] Fix bug in session handler

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

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 7009966..27cb00b 100644
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -88,6 +88,7 @@ class Utils {
         $time = $_SERVER['REQUEST_TIME'];
         if (isset($_SESSION['LAST_ACTIVITY']) &&
                 ($time - $_SESSION['LAST_ACTIVITY']) >= self::$_instance->timeout) {
+            echo 'R_TIME: '.date('c', $time).' L_ACT: '.date('c', $_SESSION['LAST_ACTIVITY']);
             session_unset();
             session_destroy();
             self::$_instance->user = null;
-- 
2.39.2