Correctly unset session on logout

Signed-off-by: Michal Čihař <michal@cihar.com>
2017-11-27 09:25:46 +01:00 · 2017-11-27 09:25:46 +01:00 · 4cd007c535
commit 4cd007c535
parent b7ae7d3c04
1 changed files with 1 additions and 1 deletions
--- a/libraries/plugins/AuthenticationPlugin.php
+++ b/libraries/plugins/AuthenticationPlugin.php
@ -92,7 +92,7 @@ abstract class AuthenticationPlugin
        if ($server === 0) {
            /* delete user's choices that were stored in session */
            if (! defined('TESTSUITE')) {
-                $_SESSION = array();
+                session_unset();
                session_destroy();
            }