34 lines
977 B
PHP
34 lines
977 B
PHP
|
<?php
|
||
|
if (php_sapi_name() == "cli")
|
||
|
return true;
|
||
|
|
||
|
// Define session max duration
|
||
|
if (!isset($session_max_duration))
|
||
|
$session_max_duration = (12*60*60); // Default to 12h
|
||
|
ini_set('session.gc_maxlifetime', $session_max_duration);
|
||
|
ini_set('session.cookie_lifetime', $session_max_duration);
|
||
|
|
||
|
// Start session
|
||
|
session_start();
|
||
|
|
||
|
// Init session key
|
||
|
if (!isset($_SESSION['session_key'])) {
|
||
|
$_SESSION['session_key']=uniqid();
|
||
|
}
|
||
|
|
||
|
// Handle session timeout
|
||
|
if ($session_timeout) {
|
||
|
if (!isset($_SESSION['session_last_access'])) {
|
||
|
logging('DEBUG', 'Set initial session last access');
|
||
|
$_SESSION['session_last_access'] = time();
|
||
|
}
|
||
|
elseif ($_SESSION['session_last_access'] > (time() - $session_timeout)) {
|
||
|
logging('DEBUG', 'Session timeout not expired, update session last access (Previous value : '.$_SESSION['session_last_access'].')');
|
||
|
$_SESSION['session_last_access'] = time();
|
||
|
}
|
||
|
else {
|
||
|
logging('INFO', 'Session destroyed due to inactivity');
|
||
|
session_destroy();
|
||
|
}
|
||
|
}
|