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