logout.php

   1 <?
   2         session_start();
   3
   4         require_once "config.php";
   5         require_once "functions.php";
   6
   7         logout_user();
   8
   9         if (!USE_HTTP_AUTH) {
  10                 header("Location: login.php");
  11         } else { ?>
  12
  13         <html>
  14                 <head>
  15                         <title>Tiny Tiny RSS : Logout</title>
  16                         <link rel="stylesheet" type="text/css" href="tt-rss.css">
  17         <body class="logoutBody">
  18                 <div class="logoutContent">
  19
  20                         <h1>You have been logged out.</h1>
  21
  22                         <p><span class="logoutWarning">Warning:</span>
  23                         As there is no way to reliably clear HTTP Authentication
  24                         credentials from your browser, it is recommended for you to close
  25                         this browser window, otherwise your browser could automatically
  26                         authenticate again using previously supplied credentials, which
  27                         is a security risk.</p>
  28
  29                 </div>
  30         </body>
  31         </html>
  32 <?      } ?>