diff options
Diffstat (limited to 'web/html')
| -rw-r--r-- | web/html/logout.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/web/html/logout.php b/web/html/logout.php index 1cdf453d..9d0e7a90 100644 --- a/web/html/logout.php +++ b/web/html/logout.php @@ -17,9 +17,8 @@ if (isset($_COOKIE["AURSID"])) { # setting expiration to 1 means '1 second after midnight January 1, 1970' setcookie("AURSID", "", 1, "/", null, !empty($_SERVER['HTTPS']), true); unset($_COOKIE['AURSID']); + clear_expired_sessions($dbh); } -clear_expired_sessions(); - header('Location: index.php'); |