just make sure this variable is gone for #1114

diff --git a/install/index.php b/install/index.php
index 81fd407a280fa5be3131e2054e34e27b91a9b80d..654d21cab8575157e309d6e36d1e06ecea4b76f3 100755 (executable)
--- a/install/index.php
+++ b/install/index.php
@@ -33,6 +33,9 @@ if (isset($_SERVER['HTTP_COOKIE'])) {
     }
 }
 // session part
+if (isset($_SESSION['poche_user'])) {
+       unset($_SESSION['poche_user']);
+}
 session_destroy();