src/signout.php

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