<?php
+ /**
+ ** signout.php -- cleans up session and logs the user out
+ **
+ ** Copyright (c) 1999-2000 The SquirrelMail development team
+ ** Licensed under the GNU GPL. For full terms see the file COPYING.
+ **
+ ** Cleans up after the user. Resets cookies and terminates
+ ** session.
+ **
+ ** $Id$
+ **/
+
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");
- }
+ if (!isset($strings_php))
+ include('../functions/strings.php');
+
+ include ('../src/load_prefs.php');
+
+ if (!isset($config_php))
+ include('../config/config.php');
+ if (!isset($i18n_php))
+ include('../functions/i18n.php');
+ if (!isset($prefs_php))
+ include ('../functions/prefs.php');
+ if (!isset($plugin_php))
+ include ('../functions/plugin.php');
+
+ set_up_language(getPref($data_dir, $username, 'language'));
+
+ // If a user hits reload on the last page, $base_uri isn't set
+ // because it was deleted with the session.
+ if (! isset($base_uri))
+ {
+ ereg ("(^.*/)[^/]+/[^/]+$", $PHP_SELF, $regs);
+ $base_uri = $regs[1];
}
- include ("../src/load_prefs.php");
-
- setcookie("username", "", time(), "/");
- setcookie("key", "", time(), "/");
- setcookie("logged_in", 0, time(), "/");
+ do_hook('logout');
+ setcookie('username', '', 0, $base_uri);
+ setcookie('key', '', 0, $base_uri);
+ setcookie('logged_in', '', 0, $base_uri);
session_destroy();
?>
<HTML>
+ <HEAD>
<?php
- 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>";
+ if ($theme_css != '') {
?>
-</BODY>
-</HTML>
+<LINK REL="stylesheet" TYPE=text/css" HREF="<?php echo $theme_css ?>">
<?php
- session_destroy();
+ }
?>
+<TITLE><?php echo $org_title ?> - Signout</TITLE>
+</HEAD>
+<BODY TEXT="<?php echo $color[8] ?>" BGCOLOR="<?php echo $color[4] ?>"
+LINK="<?php echo $color[7] ?>" VLINK="<?php echo $color[7] ?>" A
+LINK="<?php echo $color[7] ?>">
+<BR><BR>
+<TABLE BGCOLOR="FFFFFF" BORDER="0" COLS="1" WIDTH="50%" CELLSPACING="0"
+CELLPADDING="2" ALIGN="CENTER">
+ <TR BGCOLOR="<?php echo $color[0] ?>" WIDTH=100%>
+ <TD ALIGN="CENTER">
+ <B><?php echo _("Sign Out") ?></B>
+ </TD>
+ </TR>
+ <TR BGCOLOR="<?php echo $color[4] ?>" WIDTH=100%>
+ <TD ALIGN="CENTER">
+ <?php echo _("You have been successfully signed out.") ?><BR>
+ <A HREF="login.php" TARGET="_top">
+ <?php echo _("Click here to log back in.") ?>
+ </A><BR><BR>
+ </TD>
+ </TR>
+ <TR BGCOLOR="<?php echo $color[0] ?>" WIDTH=100%>
+ <TD ALIGN="CENTER">
+ <BR>
+ </TD>
+ </TR>
+</TABLE>
+</BODY>
+</HTML>