| 1 | <?php |
| 2 | /** |
| 3 | ** signout.php -- cleans up session and logs the user out |
| 4 | ** |
| 5 | ** Copyright (c) 1999-2000 The SquirrelMail development team |
| 6 | ** Licensed under the GNU GPL. For full terms see the file COPYING. |
| 7 | ** |
| 8 | ** Cleans up after the user. Resets cookies and terminates |
| 9 | ** session. |
| 10 | ** |
| 11 | ** $Id$ |
| 12 | **/ |
| 13 | |
| 14 | session_start(); |
| 15 | |
| 16 | if (!isset($strings_php)) |
| 17 | include("../functions/strings.php"); |
| 18 | |
| 19 | include ("../src/load_prefs.php"); |
| 20 | |
| 21 | if (!isset($config_php)) |
| 22 | include("../config/config.php"); |
| 23 | if (!isset($i18n_php)) |
| 24 | include("../functions/i18n.php"); |
| 25 | if (!isset($prefs_php)) |
| 26 | include ("../functions/prefs.php"); |
| 27 | if (!isset($plugin_php)) |
| 28 | include ("../functions/plugin.php"); |
| 29 | |
| 30 | set_up_language(getPref($data_dir, $username, "language")); |
| 31 | |
| 32 | // If a user hits reload on the last page, $base_uri isn't set |
| 33 | // because it was deleted with the session. |
| 34 | if (! isset($base_uri)) |
| 35 | { |
| 36 | ereg ("(^.*/)[^/]+/[^/]+$", $PHP_SELF, $regs); |
| 37 | $base_uri = $regs[1]; |
| 38 | } |
| 39 | |
| 40 | do_hook("logout"); |
| 41 | setcookie("username", "", 0, $base_uri); |
| 42 | setcookie("key", "", 0, $base_uri); |
| 43 | setcookie("logged_in", "", 0, $base_uri); |
| 44 | session_destroy(); |
| 45 | ?> |
| 46 | <HTML> |
| 47 | <HEAD> |
| 48 | <?php |
| 49 | if ($theme_css != "") { |
| 50 | printf ('<LINK REL="stylesheet" TYPE="text/css" HREF="%s">', |
| 51 | $theme_css); |
| 52 | echo "\n"; |
| 53 | } |
| 54 | |
| 55 | echo "<TITLE>$org_title - Signout</TITLE>\n"; |
| 56 | echo "</HEAD><BODY TEXT=$color[8] BGCOLOR=$color[4] LINK=$color[7] VLINK=$color[7] ALINK=$color[7]>\n"; |
| 57 | echo "<BR><BR><TABLE BGCOLOR=FFFFFF BORDER=0 COLS=1 WIDTH=50% CELLSPACING=0 CELLPADDING=2 ALIGN=CENTER>"; |
| 58 | echo " <TR BGCOLOR=$color[0] WIDTH=100%>"; |
| 59 | echo " <TD ALIGN=CENTER>"; |
| 60 | echo " <B>"; |
| 61 | echo _("Sign Out"); |
| 62 | echo "</B>"; |
| 63 | echo " </TD>"; |
| 64 | echo " </TR>"; |
| 65 | echo " <TR BGCOLOR=$color[4] WIDTH=100%>"; |
| 66 | echo " <TD ALIGN=CENTER>"; |
| 67 | echo " <BR>"; |
| 68 | echo _("You have been successfully signed out."); |
| 69 | echo "<BR>"; |
| 70 | echo "<A HREF=\"login.php\" TARGET=_top>"; |
| 71 | echo _("Click here to log back in."); |
| 72 | echo "</A><BR><BR>"; |
| 73 | echo " </TD>"; |
| 74 | echo " </TR>"; |
| 75 | echo " <TR BGCOLOR=$color[0] WIDTH=100%>"; |
| 76 | echo " <TD ALIGN=CENTER>"; |
| 77 | echo " <br>"; |
| 78 | echo " </TD>"; |
| 79 | echo " </TR>"; |
| 80 | echo "</TABLE>"; |
| 81 | echo "<br><br>"; |
| 82 | ?> |
| 83 | </BODY> |
| 84 | </HTML> |