-<?
- session_start();
-
- $_SESSION["uid"] = null;
- $_SESSION["name"] = null;
-
- session_destroy();
+<?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";
+ logout_user();
header("Location: tt-rss.php");
-
?>