From 37065e654096bbf1a82d3bd11d990592b4d4b174 Mon Sep 17 00:00:00 2001
From: andi <andi@splitbrain.org>
Date: Fri, 1 Jul 2005 13:21:48 +0200
Subject: [PATCH] bugfix for weird ZendOptimizer bug #377 #378
darcs-hash:20050701112148-9977f-1d4a3a68ec7a1972c34104b3b988d849f412ae70.gz
---
inc/auth.php | 13 +++++++++----
1 file 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,'/');
}
--
GitLab