Fix bug in session handler

diff --git a/lib/utils.inc.php b/lib/utils.inc.php
index 6bb5edfdd5fa86927acb500815764f9596ff37cf..21724ec002921e43ca1e18ca5a38f8ef672d168b 100644 (file)
--- a/lib/utils.inc.php
+++ b/lib/utils.inc.php
@@ -192,7 +192,7 @@ class Utils {
             }
         }
 
-        if ($loggedIn == false
+        if ($loggedIn == false) {
             echo '$this->user: '.$this->user.' $_SESSION[\'user\']: '.$_SESSION['user'];
             echo 'R_TIME: '.date('c', $_SERVER['REQUEST_TIME']).' L_ACT: '.date('c', $_SESSION['LAST_ACTIVITY']);
             exit;