diff options
| author | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 11:26:37 +0200 |
|---|---|---|
| committer | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 11:26:37 +0200 |
| commit | 19cdd5e2fde57d53f05570cd50f5ffd223182566 (patch) | |
| tree | ed6a50c73c16b3c5a2cee8c8954e46268c256ee3 /appli_3_alpha_old/app/deco.php | |
| parent | 3c8d3719af0f77f8a01881b022e548d3a7d4604e (diff) | |
| download | 2007-AWOR-19cdd5e2fde57d53f05570cd50f5ffd223182566.tar.gz 2007-AWOR-19cdd5e2fde57d53f05570cd50f5ffd223182566.tar.bz2 2007-AWOR-19cdd5e2fde57d53f05570cd50f5ffd223182566.zip | |
Renommage pour diff entre appli_3_alpha_old et beta_old1
Diffstat (limited to 'appli_3_alpha_old/app/deco.php')
| -rw-r--r-- | appli_3_alpha_old/app/deco.php | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/appli_3_alpha_old/app/deco.php b/appli_3_alpha_old/app/deco.php deleted file mode 100644 index 57a56bc..0000000 --- a/appli_3_alpha_old/app/deco.php +++ /dev/null @@ -1,36 +0,0 @@ -<?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 |