Codice PHP:
<?php
function logout() {

     
session_start();
     
session_destroy();
     
$_SESSION = array();

     
header("Location: ../index.php");
}
?>
Se il browser non viene chiuso la sessione viene ripristinata con lo stesso session_id, ma il file di sessione sara' vuoto.