aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xinstall/index.php2
1 files changed, 0 insertions, 2 deletions
diff --git a/install/index.php b/install/index.php
index 654d21ca..bb351095 100755
--- a/install/index.php
+++ b/install/index.php
@@ -36,8 +36,6 @@ if (isset($_SERVER['HTTP_COOKIE'])) {
36if (isset($_SESSION['poche_user'])) { 36if (isset($_SESSION['poche_user'])) {
37 unset($_SESSION['poche_user']); 37 unset($_SESSION['poche_user']);
38} 38}
39session_destroy();
40
41 39
42if (isset($_GET['clean'])) { 40if (isset($_GET['clean'])) {
43 if (is_dir('install')){ 41 if (is_dir('install')){