1 files changed, 36 insertions, 0 deletions
diff --git a/final/app/deco.php b/final/app/deco.php
new file mode 100644
index 0000000..d91cabc
--- /dev/null
+++ b/final/app/deco.php
@@ -0,0 +1,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>
+\ No newline at end of file