fix stuff broken by previous pull

diff --git a/include/sessions.php b/include/sessions.php
index d38b79967ed24eac4a529ced32a2b37b08a81ac0..727d955d03d0639651758c94b762bba7e6cfa2a6 100644 (file)
--- a/include/sessions.php
+++ b/include/sessions.php
@@ -106,7 +106,7 @@
                if (isset($_COOKIE[$session_name])) {
                        @session_start();
 
-                       if (!isset($_SESSION["uid"] || !$_SESSION["uid"]) {
+                       if (!isset($_SESSION["uid"]) || !$_SESSION["uid"]) {
                                session_destroy();
                           setcookie(session_name(), '', time()-42000, '/');
                        }