Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 7009966c3952add79c2ef365b39d250dda96e14e..27cb00bd86bfe9057d3fd97eb33d97e5b72fae88 100644 (file)
--- 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;