diff options
Diffstat (limited to 'install')
-rwxr-xr-x | install/index.php | 3 |
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 |
36 | if (isset($_SESSION['poche_user'])) { | ||
37 | unset($_SESSION['poche_user']); | ||
38 | } | ||
36 | session_destroy(); | 39 | session_destroy(); |
37 | 40 | ||
38 | 41 | ||