summaryrefslogtreecommitdiff
path: root/appli_3_alpha_old/deco.php
blob: 57a56bc898e096d8444003aacd37bf7d051f6bd1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
<?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>