entrouvert
/
spkitlasso
Archived
17
0
Fork 0
Code Issues Pull Requests Releases Activity

Use LassoSPKitSessionPHP_key instead of LassoSPKitSessionFile_key

This commit is contained in:
Benjamin Dauvergne 2010-04-19 11:46:22 +02:00
parent 9e250c37dd
commit 796a21551d
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
include/lassospkit_session_php.inc.php
View File

@ -2,20 +2,20 @@
require_once('lassospkit_datadir.inc.php');
require_once('lassospkit_debug.inc.php');
$LassoSPKitSessionFile_key = "__LassoSPKitSessionObject";
$LassoSPKitSessionPHP_key = "__LassoSPKitSessionObject";
class LassoSPKitSessionPHP {
function retrieve($session, $timeout) {
global $LassoSPKitSessionPHP_key;
$content = null;
if (! isset($_SESSION)) {
throw new Exception("LassoSPKit cannot work without PHP sessions if use_session is TRUE.");
}
if (isset($_SESSION[$LassoSPKitSessionFile_key])) {
$content = $_SESSION[$LassoSPKitSessionFile_key];
if (! isset($_SESSION[$LassoSPKitSessionFile_key . '_time']) ||
$_SESSION[$LassoSPKitSessionFile_key . '_time'] - time() > $timeout) {
#if (! isset($_SESSION)) {
# throw new Exception("LassoSPKit cannot work without PHP sessions if use_session is TRUE.");
#}
if (isset($_SESSION[$LassoSPKitSessionPHP_key])) {
$content = $_SESSION[$LassoSPKitSessionPHP_key];
if (! isset($_SESSION[$LassoSPKitSessionPHP_key . '_time']) ||
$_SESSION[$LassoSPKitSessionPHP_key . '_time'] - time() > $timeout) {
$content = null;
self::delete($session);
}
@ -24,11 +24,11 @@ class LassoSPKitSessionPHP {
}
function store($session, $content) {
global $LassoSPKitSessionPHP_key;
$_SESSION[$LassoSPKitSessionFile_key] = $content;
$_SESSION[$LassoSPKitSessionFile_key . '_time'] = time();
$_SESSION[$LassoSPKitSessionPHP_key] = $content;
$_SESSION[$LassoSPKitSessionPHP_key . '_time'] = time();
}
function delete($session) {
unset($_SESSION[$LassoSPKitSessionFile_key]);
unset($_SESSION[$LassoSPKitSessionFile_key . '_time']);
unset($_SESSION[$LassoSPKitSessionPHP_key]);
unset($_SESSION[$LassoSPKitSessionPHP_key . '_time']);
}
}