ScoDoc/misc/PublicationBulletins/Portail-LeHavre/deconnexion.php

28 lines
833 B
PHP
Executable File

<?php
// Initialisation de la session.
// Si vous utilisez un autre nom
// session_name("autrenom")
session_start();
// Détruit toutes les variables de session
$_SESSION = array();
// Si vous voulez détruire complètement la session, effacez également
// le cookie de session.
// Note : cela détruira la session et pas seulement les données de session !
if (ini_get("session.use_cookies")) {
$params = session_get_cookie_params();
setcookie(session_name(), '', time() - 42000,
$params["path"], $params["domain"],
$params["secure"], $params["httponly"]
);
}
session_unset() ;
// Finalement, on détruit la session.
session_destroy();
echo " <h1>Merci de votre visite. </h1><h3>Pensez à fermer votre navigateur en partant et ne jamais enregistrer votre mot de passe.</h3>"
?>