diff options
Diffstat (limited to 'logout.php')
-rw-r--r-- | logout.php | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/logout.php b/logout.php index cfc9fd034..7757689dc 100644 --- a/logout.php +++ b/logout.php @@ -2,12 +2,9 @@ session_start(); require_once "config.php"; + require_once "functions.php"; - $_SESSION["uid"] = null; - $_SESSION["name"] = null; - $_SESSION["access_level"] = null; - - session_destroy(); + logout_user(); if (!USE_HTTP_AUTH) { header("Location: login.php"); |