Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index a792bd5214b75ed5415497f7ad9de997927e3fea..0bae909e90112c35b7808a06854abc10d876fe97 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -193,7 +193,7 @@ class Utils {
             }
         }
 
-        if ($loggedIn == false {
+        if ($loggedIn == false) {
             echo 'R_TIME: '.date('c', $_SERVER['REQUEST_TIME']).' L_ACT: '.date('c', $_SESSION['LAST_ACTIVITY']);
             exit;
         }