PHP:
<?php
ini_set('session.gc_maxlifetime', 7200);
session_start();
if (!isset($_SESSION['created'])) {
session_regenerate_id();
$_SESSION['created'] = TRUE;
}
if (!isset($_SESSION['user_agent'])) {
$_SESSION['user_agent'] = md5($_SERVER['HTTP_USER_AGENT'] . 'Memorandum');
setcookie('ag', $_SESSION['user_agent'], 0);
} else {
if ($_SESSION['user_agent'] != md5($_SERVER['HTTP_USER_AGENT'] . 'Memorandum')
or (isset($_COOKIE['ag']) and $_COOKIE['ag'] != $_SESSION['user_agent'])) {
header('Location: errore.php');
}
}
?>
cosa fa questo codice a parte settare il tempo di scadenza della sessione con ini_set ?