aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xinstall/index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/install/index.php b/install/index.php
index 81fd407a..654d21ca 100755
--- a/install/index.php
+++ b/install/index.php
@@ -33,6 +33,9 @@ if (isset($_SERVER['HTTP_COOKIE'])) {
33 } 33 }
34} 34}
35// session part 35// session part
36if (isset($_SESSION['poche_user'])) {
37 unset($_SESSION['poche_user']);
38}
36session_destroy(); 39session_destroy();
37 40
38 41