From 8b4fd551d1bd12550de13308204296b2d55ed602 Mon Sep 17 00:00:00 2001 From: fbsanchez Date: Mon, 19 Oct 2020 19:17:07 +0200 Subject: [PATCH] minor fixes --- pandora_console/index.php | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/pandora_console/index.php b/pandora_console/index.php index 825d00bc86..7ff9900150 100755 --- a/pandora_console/index.php +++ b/pandora_console/index.php @@ -981,13 +981,10 @@ if (isset($_GET['bye'])) { enterprise_hook('saml_logout'); } - if (session_status() !== PHP_SESSION_NONE) { - $_SESSION = []; - session_destroy(); - header_remove('Set-Cookie'); - setcookie(session_name(), $_COOKIE[session_name()], (time() - 4800), '/'); - } - + $_SESSION = []; + session_destroy(); + header_remove('Set-Cookie'); + setcookie(session_name(), $_COOKIE[session_name()], (time() - 4800), '/'); // Process logout. include 'general/logoff.php';