fix g t hotkey not working

[tt-rss.git] / logout.php

diff --git a/logout.php b/logout.php
index cfc9fd0348e6be4e0c9e032cee77e9a8b8b5a172..855deec71d57d915849ee5747fd150b5c26a389b 100644 (file)
--- a/logout.php
+++ b/logout.php
@@ -1,17 +1,11 @@
-<?
-       session_start();
-
+<?php
+       require_once "functions.php"; 
+       require_once "sessions.php";
+       require_once "sanity_check.php";
+       require_once "version.php"; 
        require_once "config.php";
+       require_once "db-prefs.php";
 
-       $_SESSION["uid"] = null;
-       $_SESSION["name"] = null;
-       $_SESSION["access_level"] = null;
-
-       session_destroy();
-
-       if (!USE_HTTP_AUTH) {
-               header("Location: login.php");
-       } else {
-               header("Location: tt-rss.php");
-       }
+       logout_user();
+       header("Location: tt-rss.php");
 ?>