Grazie, non avevo letto bene il manuale.
Comunque ho modificato il codice in questo modo:
Codice PHP:
<?phpsession_start(); //start session
//destroy session
session_destroy();
//unset cookies
setcookie("user_name", "", time()-3600);
header ("Location: ../page.php");?>
E ho quindi usato la pagina page.php come verifica con questo codice:
Codice PHP:
<?php
session_start();
if(!isset($_SESSION['user_name']) && !isset($_COOKIE['user_name'])){
header("Location: index.php");
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
</head>
<body>
<div class="success">Welcome session, <?php echo $_SESSION['user_name'] ?></div>
<div class="success">Welcome cookie, <?php echo $_COOKIE['user_name'] ?></div>
<div><a href="scripts/logout.php">LOG OUT</a></div>
</body>
</html>
Mi sarei quindi aspettato di essere reindirizzato alla pagina index.php, invece ottengo una pagina con questo testo:
Welcome session,
Welcome cookie, mattia1
LOG OUT
Quindi il cookie con username mattia1 è ancora valido.
Come mai???