$ses_expire) {
// last request was more than 30 minates ago
self::destroy();
return false;
} else {
return true;
}
}
public static function destroy() {
session_destroy();// destroy session data in storage
session_unset();// unset $_SESSION variable for the runtime
}
public static function timeout_update() {// TODO: legacy
self::timeoutUpdate();
}
public static function timeoutUpdate($force = false) {
if ($force) {
$_SESSION['USER_SESSION_LAST_ACTIVITY'] = time();
return true;
}
else if (self::timeoutCheck()) {
$_SESSION['USER_SESSION_LAST_ACTIVITY'] = time();
return true;
}
return false;
}
public static function timeout_get() {// TOOD: legacy
return self::timeoutGet();
}
public static function timeoutGet() {
if (self::timeoutCheck()) {
$ret = $_SESSION['USER_SESSION_EXPIRE'] - (time() - $_SESSION['USER_SESSION_LAST_ACTIVITY']);
} else {
$ret = 'expired';
}
return $ret;
}
public static function show_session_timer() {
echo ''."".'';
}
public static function timeout_update_js() {
self::printTimeoutUpdateJs();
}
public static function printTimeoutUpdateJs() {
if (!User::logged()) {
return;
}
?>