diff options
| author | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 11:39:33 +0200 |
|---|---|---|
| committer | Ludovic Pouzenc <ludovic@pouzenc.fr> | 2018-06-30 11:39:33 +0200 |
| commit | 9738017972a6d4fea655926525b3c67dd85740cf (patch) | |
| tree | 938d6f26c138d7c176c821bafc513362186a8ca7 /beta_accents/app/deco.php | |
| parent | 5dac82f52f45ad27f16ec2ff63ee75e2f39ef942 (diff) | |
| download | 2007-AWOR-9738017972a6d4fea655926525b3c67dd85740cf.tar.gz 2007-AWOR-9738017972a6d4fea655926525b3c67dd85740cf.tar.bz2 2007-AWOR-9738017972a6d4fea655926525b3c67dd85740cf.zip | |
Version beta_accents 2007-03-12+17:26:00 - 2007-03-14+17:35:14
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 { |