diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/util.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/util.php b/lib/util.php index f6d50b180..e5a8eaea0 100644 --- a/lib/util.php +++ b/lib/util.php @@ -139,8 +139,19 @@ function common_have_session() function common_ensure_session() { + $c = null; + if (array_key_exists(session_name, $_COOKIE)) { + $c = $_COOKIE[session_name()]; + } if (!common_have_session()) { @session_start(); + if (!isset($_SESSION['started'])) { + $_SESSION['started'] = time(); + if (!empty($c)) { + common_log(LOG_WARNING, 'Session cookie "' . $_COOKIE[session_name()] . '" ' . + ' is set but started value is null'); + } + } } } |