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                 $url_path = get_script_urlpath();
  11
  12                 if (ENABLE_LOGIN_SSL) {
  13                         $protocol = "https";
  14                 } else {
  15                         $protocol = "http";
  16                 }
  17
  18                 $redirect_base = "$protocol://" . $_SERVER["SERVER_NAME"] . $url_path;
  19
  20                 header("Location: $redirect_base/login.php");
  21         } else { ?>
  22
  23         <html>
  24                 <head>
  25                         <title>Tiny Tiny RSS : Logout</title>
  26                         <link rel="stylesheet" type="text/css" href="tt-rss.css">
  27         <body class="logoutBody">
  28                 <div class="logoutContent">
  29
  30                         <h1>You have been logged out.</h1>
  31
  32                         <p><span class="logoutWarning">Warning:</span>
  33                         As there is no way to reliably clear HTTP Authentication
  34                         credentials from your browser, it is recommended for you to close
  35                         this browser window, otherwise your browser could automatically
  36                         authenticate again using previously supplied credentials, which
  37                         is a security risk.</p>
  38
  39                 </div>
  40         </body>
  41         </html>
  42 <?      } ?>