htdocs/deconnexion.php

   1 <?php
   2 /***************************************************************************
   3  *  Copyright (C) 2003-2004 Polytechnique.org                              *
   4  *  http://opensource.polytechnique.org/                                   *
   5  *                                                                         *
   6  *  This program is free software; you can redistribute it and/or modify   *
   7  *  it under the terms of the GNU General Public License as published by   *
   8  *  the Free Software Foundation; either version 2 of the License, or      *
   9  *  (at your option) any later version.                                    *
  10  *                                                                         *
  11  *  This program is distributed in the hope that it will be useful,        *
  12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of         *
  13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          *
  14  *  GNU General Public License for more details.                           *
  15  *                                                                         *
  16  *  You should have received a copy of the GNU General Public License      *
  17  *  along with this program; if not, write to the Free Software            *
  18  *  Foundation, Inc.,                                                      *
  19  *  59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                *
  20  ***************************************************************************/
  21
  22 require_once('xorg.inc.php');
  23
  24 if (isset($_SESSION['suid'])) { require_once('./exit.php'); }
  25
  26 if (Get::has('forget')) {
  27     setcookie('ORGaccess', '', time() - 3600, '/', '', 0);
  28     Cookie::kill('ORGaccess');
  29     if (isset($_SESSION['log']))
  30         $_SESSION['log']->log("cookie_off");
  31 }
  32
  33 if (Get::has('forgetUid')) {
  34     setcookie('ORGuid', '', time() - 3600, '/', '', 0);
  35     Cookie::kill('ORGuid');
  36     setcookie('ORGdomain', '', time() - 3600, '/', '', 0);
  37     Cookie::kill('ORGdomain');
  38 }
  39
  40 if (isset($_SESSION['log'])) {
  41     $ref = isset($_SERVER['HTTP_REFERER']) ? $_SERVER['HTTP_REFERER'] : '';
  42     $_SESSION['log']->log('deconnexion',$ref);
  43 }
  44
  45 XorgSession::destroy();
  46
  47 new_skinned_page('deconnexion.tpl', AUTH_PUBLIC);
  48
  49 $page->run();
  50
  51 // vim:set et sws=4 sts=4 sw=4:
  52 ?>