# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1485383458 -7200
# Node ID 4a95cd4fa34133caf19bb17188062922e843cff7
# Parent  01783161eeb21dc6e71bbc27441db6dbe2296b91
Check for existence of "expires" field in session data.

diff -r 01783161eeb2 -r 4a95cd4fa341 msession.inc.php
--- 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;