src/signout.php

   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    include('../src/validate.php');
  15    include ('../src/load_prefs.php');
  16    include ('../functions/prefs.php');
  17    include ('../functions/plugin.php');
  18
  19    // Erase any lingering attachments
  20    if (! isset($attachments)) {
  21        $attachments = array();
  22    }
  23    foreach ($attachments as $info) {
  24        if (file_exists($attachment_dir . $info['localfilename'])) {
  25            unlink($attachment_dir . $info['localfilename']);
  26        }
  27    }
  28    set_up_language(getPref($data_dir, $username, 'language'));
  29
  30    // If a user hits reload on the last page, $base_uri isn't set
  31    // because it was deleted with the session.
  32    if (! isset($base_uri)) {
  33        ereg ("(^.*/)[^/]+/[^/]+$", $PHP_SELF, $regs);
  34        $base_uri = $regs[1];
  35    }
  36
  37    do_hook('logout');
  38    setcookie('username', '', 0, $base_uri);
  39    setcookie('key', '', 0, $base_uri);
  40    setcookie('logged_in', '', 0, $base_uri);
  41    session_destroy();
  42
  43    if ($signout_page) {
  44        header("Status: 303 See Other");
  45        header("Location: $signout_page");
  46        exit; /* we send no content if we're redirecting. */
  47    }
  48 ?>
  49 <HTML>
  50    <HEAD>
  51 <?php
  52    if ($theme_css != '') {
  53 ?>
  54 <LINK REL="stylesheet" TYPE="text/css" HREF="<?php echo $theme_css ?>">
  55 <?php
  56    }
  57 ?>
  58 <TITLE><?php echo $org_title ?> - Signout</TITLE>
  59 </HEAD>
  60 <BODY TEXT="<?php echo $color[8] ?>" BGCOLOR="<?php echo $color[4] ?>"
  61 LINK="<?php echo $color[7] ?>" VLINK="<?php echo $color[7] ?>" A
  62 LINK="<?php echo $color[7] ?>">
  63 <BR><BR>
  64 <TABLE BGCOLOR="FFFFFF" BORDER="0" COLS="1" WIDTH="50%" CELLSPACING="0"
  65 CELLPADDING="2" ALIGN="CENTER">
  66   <TR BGCOLOR="<?php echo $color[0] ?>" WIDTH=100%>
  67     <TD ALIGN="CENTER">
  68       <B><?php echo _("Sign Out") ?></B>
  69     </TD>
  70   </TR>
  71   <TR BGCOLOR="<?php echo $color[4] ?>" WIDTH=100%>
  72     <TD ALIGN="CENTER">
  73       <?php echo _("You have been successfully signed out.") ?><BR>
  74       <A HREF="login.php" TARGET="_top">
  75       <?php echo _("Click here to log back in.") ?>
  76       </A><BR><BR>
  77     </TD>
  78   </TR>
  79   <TR BGCOLOR="<?php echo $color[0] ?>" WIDTH=100%>
  80     <TD ALIGN="CENTER">
  81       <BR>
  82     </TD>
  83   </TR>
  84 </TABLE>
  85 </BODY>
  86 </HTML>