Si tu mets session.cookie_lifetime à 0, le cookie de session sera supprimé à la fermeture du navigateur.
Ou sinon tu peux le faire manuellement comme ceci :
if (isset($_SESSION['LAST_ACTIVITY']) && (time() - $_SESSION['LAST_ACTIVITY'] > 3600)) {
// last request was more than 60 minutes ago (3600 seconds)
session_unset(); // unset $_SESSION variable for the run-time
session_destroy(); // destroy session data in storage
}
$_SESSION['LAST_ACTIVITY'] = time(); // update last activity time stamp
Si tu mets session.cookie_lifetime à 0, le cookie de session sera supprimé à la fermeture du navigateur.
Ou sinon tu peux le faire manuellement comme ceci :
[php]if (isset($_SESSION['LAST_ACTIVITY']) && (time() - $_SESSION['LAST_ACTIVITY'] > 3600)) {
// last request was more than 60 minutes ago (3600 seconds)
session_unset(); // unset $_SESSION variable for the run-time
session_destroy(); // destroy session data in storage
}
$_SESSION['LAST_ACTIVITY'] = time(); // update last activity time stamp[/php]