summaryrefslogtreecommitdiff
path: root/appli_3_alpha_old/app/deco.php
diff options
context:
space:
mode:
Diffstat (limited to 'appli_3_alpha_old/app/deco.php')
-rw-r--r--appli_3_alpha_old/app/deco.php36
1 files changed, 36 insertions, 0 deletions
diff --git a/appli_3_alpha_old/app/deco.php b/appli_3_alpha_old/app/deco.php
new file mode 100644
index 0000000..57a56bc
--- /dev/null
+++ b/appli_3_alpha_old/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