<?php
session_start();
// 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 (isset($_COOKIE[session_name()])) {
setcookie(session_name(), '', time()-42000, '/');
}
require_once('include/ludo/html_elements.inc.php');
generate_html_doctype_and_head("D�connexion");
?>
<body>
<h1>Deconnexion</h1>
<div>
<?php
if ( isset($_SESSION['session_loginP']) )
{
// D�truit toutes les variables de session
$_SESSION = array();
// On a d�j� d�truit le cookie qui permet la r�-emission par le client du sessionid
// Finalement, on d�truit la session.
session_destroy();
echo 'Vous avez bien �t� d�connect�' . "\n";
}
else
{
echo 'Deconnexion impossible : aucune session en cours' . "\n";
}
?>
</div>
<?php generate_html_div_back(); ?>
</body>
</html>