- var_dump: documentation ( source)
- time: documentation ( source)
- session_start: documentation ( source)
- session_destroy: documentation ( source)
<?php
if (empty($_SESSION)) session_start();
if (empty($_SESSION['lastAccess'])) $_SESSION['lastAccess'] = time();
else {
$_SESSION['lastAccess'] -= time();
}
var_dump($_SESSION['lastAccess']);
echo(time()-5);
if ($_SESSION['lastAccess'] > time()-5) {
session_destroy();
echo('session timeout');
}