diff options
Diffstat (limited to 'appli_3_alpha_old/deco.php')
| -rw-r--r-- | appli_3_alpha_old/deco.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appli_3_alpha_old/deco.php b/appli_3_alpha_old/deco.php index f137336..57a56bc 100644 --- a/appli_3_alpha_old/deco.php +++ b/appli_3_alpha_old/deco.php @@ -14,7 +14,7 @@ generate_html_doctype_and_head("Déconnexion"); <h1>Deconnexion</h1> <div> <?php - if ( isset($_SESSION['loginP']) ) + if ( isset($_SESSION['session_loginP']) ) { // Détruit toutes les variables de session $_SESSION = array(); |