update_daemon2: check for dead children before spawning

[tt-rss.git] / logout.php

diff --git a/logout.php b/logout.php
index c43d86cb079ebac770f94b80adde0c3a1a46f003..855deec71d57d915849ee5747fd150b5c26a389b 100644 (file)
--- a/logout.php
+++ b/logout.php
@@ -1,12 +1,11 @@
-<?
-       session_start();
-
-       $_SESSION["uid"] = null;
-       $_SESSION["name"] = null;
-       $_SESSION["access_level"] = null;
-
-       session_destroy();
-
-       header("Location: login.php");
-
+<?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");
 ?>