src/signout.php

   1 <?php
   2    session_start();
   3
   4         /**
   5          **  signout.php
   6          **
   7          **  Clears the cookie, and logs them out.
   8          **
   9          **/
  10
  11    // $squirrelmail_language is set by a cookie when the user
  12    // selects language
  13    if (isset($squirrelmail_language)) {
  14       if ($squirrelmail_language != "en") {
  15          putenv("LANG=".$squirrelmail_language);
  16          bindtextdomain("squirrelmail", "../locale/");
  17          textdomain("squirrelmail");
  18       }
  19    }
  20
  21    include ("../src/load_prefs.php");
  22
  23         setcookie("username", "", time(), "/");
  24         setcookie("key", "", time(), "/");
  25         setcookie("logged_in", 0, time(), "/");
  26    session_destroy();
  27 ?>
  28 <HTML>
  29 <?php
  30    echo "<BODY TEXT=000000 BGCOLOR=$color[4] LINK=$color[7] VLINK=$color[7] ALINK=$color[7]>\n";
  31    echo "<BR><BR><TABLE BGCOLOR=FFFFFF BORDER=0 COLS=1 WIDTH=50% CELLSPACING=0 CELLPADDING=2 ALIGN=CENTER>";
  32    echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
  33    echo "      <TD ALIGN=CENTER>";
  34    echo "         <B>";
  35    echo _("Sign Out");
  36    echo "</B>";
  37    echo "      </TD>";
  38    echo "   </TR>";
  39    echo "   <TR BGCOLOR=$color[4] WIDTH=100%>";
  40    echo "      <TD ALIGN=CENTER>";
  41    echo "         <BR>";
  42    echo _("You have been successfully signed out.");
  43    echo "<BR>";
  44    echo _("Click here to ");
  45    echo "<A HREF=\"login.php\" TARGET=_top>";
  46    echo _("log back in.");
  47    echo "</A><BR><BR>";
  48    echo "      </TD>";
  49    echo "   </TR>";
  50    echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
  51    echo "      <TD ALIGN=CENTER>";
  52    echo "         <BR>";
  53    echo "      </TD>";
  54    echo "   </TR>";
  55    echo "</TABLE>";
  56 ?>
  57 </BODY>
  58 </HTML>
  59 <?php
  60    session_destroy();
  61 ?>