HRDIODB
[ class tree: HRDIODB ] [ index: HRDIODB ] [ all elements ]
Packages:
HRDIODB

Source for file logout.php

Documentation is available at logout.php

  1. <?php
  2. /**
  3.  * Logout page.
  4.  * The logout page logs out the user.
  5.  * @package HRDIODB
  6.  */
  7.  
  8. /**
  9.  * This file is part of HRDIODB.
  10.  *
  11.  * HRDIODB is free software; you can redistribute it and/or modify
  12.  * it under the terms of the GNU General Public License as published by
  13.  * the Free Software Foundation; either version 2 of the License, or
  14.  * (at your option) any later version.
  15.  *
  16.  * HRDIODB is distributed in the hope that it will be useful,
  17.  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  18.  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19.  * GNU General Public License for more details.
  20.  *
  21.  * You should have received a copy of the GNU General Public License
  22.  * along with HRDIODB; if not, write to the Free Software
  23.  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
  24.  */
  25.  
  26. /** Configuration file */
  27. require_once("conf.php");
  28. /** PHP session class */
  29. require_once("session_class.php");
  30. /** HRDI database class */
  31. require_once("hrdi_db_class.php");
  32. /** User class */
  33. require_once("user_class.php");
  34. /** Common class */
  35. require_once("common_class.php");
  36.  
  37. // Create class instances
  38. $session = new session();
  39. $hdb = new hrdi_db($dsn);
  40. $user = new user($hdb, $session);
  41.  
  42. // Log the user out. This destroys the current session.
  43. $user->logout();
  44.  
  45. // Redirect us to the index page
  46. common::redirect("index.php");
  47. ?>
Documentation generated on Tue, 23 Jan 2007 22:57:49 -0500 by phpDocumentor 1.3.0RC6