diff options
Diffstat (limited to 'classes/pref/users.php')
| -rw-r--r-- | classes/pref/users.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/classes/pref/users.php b/classes/pref/users.php index 187a7c525..1a948958e 100644 --- a/classes/pref/users.php +++ b/classes/pref/users.php @@ -457,9 +457,12 @@ class Pref_Users extends Handler_Protected { } static function logout_user() { - @session_destroy(); + if (session_status() === PHP_SESSION_ACTIVE) + session_destroy(); + if (isset($_COOKIE[session_name()])) { setcookie(session_name(), '', time()-42000, '/'); + } session_commit(); } |