Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 27cb00bd86bfe9057d3fd97eb33d97e5b72fae88..311713d59b0ba605982c40862820d1f9f2f3ff51 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -89,6 +89,7 @@ class Utils {
         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']);
+            exit;
             session_unset();
             session_destroy();
             self::$_instance->user = null;