diff options
author | Andrew Dolgov <[email protected]> | 2021-02-06 00:12:15 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-02-06 00:12:15 +0300 |
commit | 6e774a58fe6c509e2cd16d222ed414edc9f10b17 (patch) | |
tree | b6a6d054677596b3ef79e806a44f7f8931dd84d6 /classes/pref/users.php | |
parent | 403dca154c6b539de221f9e16174a0fdd0a1e896 (diff) |
more php8 fixes mostly related to login
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(); } |