diff options
Diffstat (limited to 'beta_accents/app/deco.php')
| -rw-r--r-- | beta_accents/app/deco.php | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/beta_accents/app/deco.php b/beta_accents/app/deco.php index 57a56bc..d91cabc 100644 --- a/beta_accents/app/deco.php +++ b/beta_accents/app/deco.php @@ -1,14 +1,14 @@ <?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 ! +// 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"); +generate_html_doctype_and_head("Déconnexion"); ?> <body> <h1>Deconnexion</h1> @@ -16,14 +16,14 @@ generate_html_doctype_and_head("Déconnexion"); <?php if ( isset($_SESSION['session_loginP']) ) { - // Détruit toutes les variables de session + // 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 + // On a déjà détruit le cookie qui permet la ré-emission par le client du sessionid - // Finalement, on détruit la session. + // Finalement, on détruit la session. session_destroy(); - echo 'Vous avez bien été déconnecté' . "\n"; + echo 'Vous avez bien été déconnecté' . "\n"; } else { |