From 6581f01f9bad72b053d0d55b4d4be1228d0f9506 Mon Sep 17 00:00:00 2001 From: philippe_mingo Date: Fri, 19 Oct 2001 07:43:19 +0000 Subject: [PATCH] Modified the session killer. git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@1586 7612ce4b-ef26-0410-bec9-ea0150e637f0 --- src/login.php | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/src/login.php b/src/login.php index 2b56300b..c4e1db80 100644 --- a/src/login.php +++ b/src/login.php @@ -65,13 +65,11 @@ ereg ("(^.*/)[^/]+/[^/]+$", $PHP_SELF, $regs); $base_uri = $regs[1]; - if ( session_id() <> '' ) { - session_destroy(); - // In case the last session was not terminated properly, make sure - // we get a new one. - $cookie_params = session_get_cookie_params(); - setcookie(session_name(),'',0,$cookie_params['path'].$cookie_params['domain']); - } + @session_destroy(); + // In case the last session was not terminated properly, make sure + // we get a new one. + $cookie_params = session_get_cookie_params(); + setcookie(session_name(),'',0,$cookie_params['path'].$cookie_params['domain']); setcookie('username', '', 0, $base_uri); setcookie('key', '', 0, $base_uri); header ('Pragma: no-cache'); -- 2.25.1