Problemi con il logout

[bobosg]

Salve a tutti,

il seguente codice, mi da come risultato il redirect alla pagina mainlogin.php ma senza la cancellazione della session, come posso fare?

<?php
session_start();
session_destroy();
header ("location: mainlogin.php");
?>

[gianiaz]

<?php
session_start();
$_SESSION = array();
header ("location: mainlogin.php");
?>

[bobosg]

Innanzitutto grazie.
Però non capisco come distruggi la session????

[gianiaz]

$_SESSION è l'array dove finiscono le variabili di sessione, se tu gli assegni un array vuoto la distruggi.

Se guardi il manuale online di php da tempo nelle note delle funzioni session_register, session_destroy ecc c'è scritto di non usarle più e di accedere direttamente all'array $_SESSION.

Ciao

[bobosg]

ok funziona,
grazie mille, ciao!