beta_accents/app/deco.php


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&eacute;truire compl&egrave;tement la session, effacez &eacute;galement le cookie de session.
// Note : cela d&eacute;truira la session et pas seulement les donn&eacute;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&eacute;connexion");
?>
<body>
	<h1>Deconnexion</h1>
	<div>
	<?php
	if ( isset($_SESSION['session_loginP']) )
	{
		// D&eacute;truit toutes les variables de session
		$_SESSION = array();

		// On a d&eacute;j&agrave; d&eacute;truit le cookie qui permet la r&eacute;-emission par le client du sessionid

		// Finalement, on d&eacute;truit la session.
		session_destroy();
		echo 'Vous avez bien &eacute;t&eacute; d&eacute;connect&eacute;' . "\n";
	}
	else
	{
		echo 'Deconnexion impossible : aucune session en cours' . "\n";
	}
	?>
	</div>
<?php generate_html_div_back(); ?>
</body>
</html>