[squirrelmail.git] / src / signout.php

<?
   session_start();

	/**
	 **  signout.php
	 **
	 **  Clears the cookie, and logs them out.
	 **
	 **/
	
   // $squirrelmail_language is set by a cookie when the user
   // selects language
   if (isset($squirrelmail_language)) {
      if ($squirrelmail_language != "en") {
         putenv("LANG=".$squirrelmail_language);
         bindtextdomain("squirrelmail", "../locale/");
         textdomain("squirrelmail");
      }
   }

   include ("../src/load_prefs.php");
	
#	setcookie("username", "", time(), "/");
#	setcookie("key", "", time(), "/");
#	setcookie("logged_in", 0, time(), "/");
?>
<HTML>
<?
   echo "<BODY TEXT=000000 BGCOLOR=$color[4] LINK=$color[7] VLINK=$color[7] ALINK=$color[7]>\n";
   echo "<BR><BR><TABLE BGCOLOR=FFFFFF BORDER=0 COLS=1 WIDTH=50% CELLSPACING=0 CELLPADDING=2 ALIGN=CENTER>";
   echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
   echo "      <TD ALIGN=CENTER>";
   echo "         <B>";
   echo _("Sign Out");
   echo "</B>";
   echo "      </TD>";
   echo "   </TR>";
   echo "   <TR BGCOLOR=$color[4] WIDTH=100%>";
   echo "      <TD ALIGN=CENTER>";
   echo "         <BR>";
   echo _("You have been successfully signed out.");
   echo "<BR>";
   echo _("Click here to ");
   echo "<A HREF=\"login.php\" TARGET=_top>";
   echo _("log back in.");
   echo "</A><BR><BR>";
   echo "      </TD>";
   echo "   </TR>";
   echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
   echo "      <TD ALIGN=CENTER>";
   echo "         <BR>";
   echo "      </TD>";
   echo "   </TR>";
   echo "</TABLE>";
?>
</BODY>
</HTML>
<?
   session_destroy();
?>
Commit	Line	Data
21c3249f	1	<?
2a32fc83	2	session_start();
2a32fc83	3
21c3249f	4	/**
a09387f4	5	** signout.php
21c3249f	6	**
	7	** Clears the cookie, and logs them out.
	8	**
	9	**/
	10
71fd5383	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	}
288491a4	20
71fd5383	21	include ("../src/load_prefs.php");
21c3249f	22
2a32fc83	23	# setcookie("username", "", time(), "/");
	24	# setcookie("key", "", time(), "/");
	25	# setcookie("logged_in", 0, time(), "/");
21c3249f	26	?>
21c3249f	27	<HTML>
21c3249f	28	<?
71fd5383	29	echo "<BODY TEXT=000000 BGCOLOR=$color[4] LINK=$color[7] VLINK=$color[7] ALINK=$color[7]>\n";
	30	echo "<BR><BR><TABLE BGCOLOR=FFFFFF BORDER=0 COLS=1 WIDTH=50% CELLSPACING=0 CELLPADDING=2 ALIGN=CENTER>";
	31	echo " <TR BGCOLOR=$color[0] WIDTH=100%>";
21c3249f	32	echo " <TD ALIGN=CENTER>";
aae41ae9	33	echo " <B>";
b581fa60	34	echo _("Sign Out");
aae41ae9	35	echo "</B>";
21c3249f	36	echo " </TD>";
21c3249f	37	echo " </TR>";
71fd5383	38	echo " <TR BGCOLOR=$color[4] WIDTH=100%>";
21c3249f	39	echo " <TD ALIGN=CENTER>";
aae41ae9	40	echo " <BR>";
b581fa60	41	echo _("You have been successfully signed out.");
aae41ae9	42	echo "<BR>";
b581fa60	43	echo _("Click here to ");
	44	echo "<A HREF=\"login.php\" TARGET=_top>";
	45	echo _("log back in.");
aae41ae9	46	echo "</A><BR><BR>";
21c3249f	47	echo " </TD>";
21c3249f	48	echo " </TR>";
71fd5383	49	echo " <TR BGCOLOR=$color[0] WIDTH=100%>";
21c3249f	50	echo " <TD ALIGN=CENTER>";
aae41ae9	51	echo " <BR>";
21c3249f	52	echo " </TD>";
	53	echo " </TR>";
	54	echo "</TABLE>";
	55	?>
	56	</BODY>
	57	</HTML>
2a32fc83	58	<?
	59	session_destroy();
	60	?>