revert session destroy to avoid warning

diff --git a/install/index.php b/install/index.php
index 654d21cab8575157e309d6e36d1e06ecea4b76f3..bb3510952414a9f6346ed97d76e5221b186f3043 100755 (executable)
--- a/install/index.php
+++ b/install/index.php
@@ -36,8 +36,6 @@ if (isset($_SERVER['HTTP_COOKIE'])) {
 if (isset($_SESSION['poche_user'])) {
        unset($_SESSION['poche_user']);
 }
-session_destroy();
-
 
 if (isset($_GET['clean'])) {
     if (is_dir('install')){