diff options
| -rw-r--r-- | inc/auth.php | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/inc/auth.php b/inc/auth.php index c86bd3b49..e0f955568 100644 --- a/inc/auth.php +++ b/inc/auth.php @@ -178,10 +178,15 @@ function auth_cookiesalt(){ function auth_logoff(){ global $conf; global $USERINFO; - unset($_SESSION[$conf['title']]['auth']['user']); - unset($_SESSION[$conf['title']]['auth']['pass']); - unset($_SESSION[$conf['title']]['auth']['info']); - unset($_SERVER['REMOTE_USER']); + + if(isset($_SESSION[$conf['title']]['auth']['user'])) + unset($_SESSION[$conf['title']]['auth']['user']); + if(isset($_SESSION[$conf['title']]['auth']['pass'])) + unset($_SESSION[$conf['title']]['auth']['pass']); + if(isset($_SESSION[$conf['title']]['auth']['info'])) + unset($_SESSION[$conf['title']]['auth']['info']); + if(isset($_SERVER['REMOTE_USER'])) + unset($_SERVER['REMOTE_USER']); $USERINFO=null; //FIXME setcookie(DOKU_COOKIE,'',time()-600000,'/'); } |