diff options
-rwxr-xr-x | install/index.php | 2 |
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'])) { | |||
36 | if (isset($_SESSION['poche_user'])) { | 36 | if (isset($_SESSION['poche_user'])) { |
37 | unset($_SESSION['poche_user']); | 37 | unset($_SESSION['poche_user']); |
38 | } | 38 | } |
39 | session_destroy(); | ||
40 | |||
41 | 39 | ||
42 | if (isset($_GET['clean'])) { | 40 | if (isset($_GET['clean'])) { |
43 | if (is_dir('install')){ | 41 | if (is_dir('install')){ |