update_daemon2: check for dead children before spawning

[tt-rss.git] / logout.php

diff --git a/logout.php b/logout.php
index ae2f6550800bbd360b5693d5653bc868118d812a..855deec71d57d915849ee5747fd150b5c26a389b 100644 (file)
--- a/logout.php
+++ b/logout.php
@@ -1,11 +1,11 @@
-<?
-       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");
-
 ?>