no comment :-(
[squirrelmail.git] / src / redirect.php
index 31e1ab6e1e6cf34715ae578a2a9311d5c29d99e5..c570974339cc64f775ab5273f7ff92268fbf3da3 100644 (file)
@@ -165,7 +165,7 @@ if ($javascript_setting != SMPREF_JS_ON){
 setPref($data_dir, $username, 'javascript_on', $js_pref);
 
 /* Compute the URL to forward the user to. */
-    if (isset($_SESSION['session_expired_location']) {
+    if (isset($_SESSION['session_expired_location'])) {
        $session_expired_location= $_SESSION['session_expired_location'];
     } else {
        $session_expired_location=false;