diff options
Diffstat (limited to 'inc/auth.php')
| -rw-r--r-- | inc/auth.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/inc/auth.php b/inc/auth.php index 69ff930be..d8fae97b7 100644 --- a/inc/auth.php +++ b/inc/auth.php @@ -207,6 +207,7 @@ function auth_logoff(){ global $conf; global $USERINFO; global $INFO, $ID; + global $auth; if(isset($_SESSION[$conf['title']]['auth']['user'])) unset($_SESSION[$conf['title']]['auth']['user']); @@ -218,6 +219,10 @@ function auth_logoff(){ unset($_SERVER['REMOTE_USER']); $USERINFO=null; //FIXME setcookie(DOKU_COOKIE,'',time()-600000,'/'); + + if($auth && $auth->canDo('logoff')){ + $auth->logOff(); + } } /** |