changeset 1086:4a95cd4fa341

Check for existence of "expires" field in session data.
author Matti Hamalainen <ccr@tnsp.org>
date Thu, 26 Jan 2017 00:30:58 +0200
parents 01783161eeb2
children 4c76b4994414
files msession.inc.php
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/msession.inc.php	Wed Jan 25 22:39:42 2017 +0200
+++ b/msession.inc.php	Thu Jan 26 00:30:58 2017 +0200
@@ -54,7 +54,7 @@
     stSessionEnd($stype);
     return FALSE;
   }
-  
+
   if ($_SESSION[$stype]["expires"] < time())
   {
     stDebug("Session ".$stype." / ".session_id()." expires due to timeout ".$_SESSION[$stype]["expires"]." < ".time());
@@ -81,7 +81,7 @@
     // End current session type
     if (isset($_SESSION[$stype]))
     {
-      stDebug("END session ".$stype." / ".$_SESSION[$stype]["expires"]);
+      stDebug("END session ".$stype." / ".(isset($_SESSION[$stype]["expires"]) ? $_SESSION[$stype]["expires"] : "?"));
       $_SESSION[$stype] = array();
       unset($_SESSION[$stype]);
       $result = TRUE;