diff options
| author | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 10:05:02 +0200 |
|---|---|---|
| committer | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 10:05:02 +0200 |
| commit | 71b503f07007346eda3d1da71d4a64f31f13d846 (patch) | |
| tree | 3d1aaa880857eb05e7e9c1f2d75f309507dd9c07 /appli_3_alpha_old/deco.php | |
| parent | 756f0fa75c7d8e18188dffdfbdd4416651dca9fe (diff) | |
| download | 2007-AWOR-71b503f07007346eda3d1da71d4a64f31f13d846.tar.gz 2007-AWOR-71b503f07007346eda3d1da71d4a64f31f13d846.tar.bz2 2007-AWOR-71b503f07007346eda3d1da71d4a64f31f13d846.zip | |
Prmère version alpha 2007-02-03+09:07:04 - 2007-02-06+12:19:50
Diffstat (limited to 'appli_3_alpha_old/deco.php')
| -rw-r--r-- | appli_3_alpha_old/deco.php | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/appli_3_alpha_old/deco.php b/appli_3_alpha_old/deco.php new file mode 100644 index 0000000..f137336 --- /dev/null +++ b/appli_3_alpha_old/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['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 |