html/logout.php

   1 <?php
   2 /*
   3    This code is part of GOsa (https://gosa.gonicus.de)
   4    Copyright (C) 2003  Cajus Pollmeier
   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., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  19  */
  20
  21
  22 /* Basic setup, remove eventually registered sessions */
  23 require_once ("../include/php_setup.inc");
  24 require_once ("functions.inc");
  25 session_start ();
  26
  27 /* Do logout-logging and destroy session */
  28 if (!isset($_SESSION["ui"])){
  29   header ("Location: index.php");
  30   exit;
  31 }
  32 $ui= $_SESSION["ui"];
  33 $config= $_SESSION["config"];
  34 gosa_log ("User \"".$ui->username."\" logged out");
  35
  36 /* Remove all locks of this user */
  37 del_user_locks($ui->dn);
  38
  39 @session_destroy ();
  40
  41 /* Go back to the base via header */
  42 header ("Location: index.php");
  43
  44 // vim:tabstop=2:expandtab:shiftwidth=2:filetype=php:syntax:ruler:
  45 ?>