logout.php

   1 <?
   2         session_start();
   3
   4         require_once "config.php";
   5
   6         $_SESSION["uid"] = null;
   7         $_SESSION["name"] = null;
   8         $_SESSION["access_level"] = null;
   9
  10         session_destroy();
  11
  12         if (!USE_HTTP_AUTH) {
  13                 header("Location: login.php");
  14         } else {
  15                 header("Location: tt-rss.php");
  16         }
  17 ?>