From 2a57704703a13f4825e677d5264613aadb05b12e Mon Sep 17 00:00:00 2001
From: Michael Rasmussen <mir@datanom.net>
Date: Thu, 4 Jun 2015 19:29:16 +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 27cb00b..311713d 100644
--- 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;
-- 
2.39.2