disconnect.php

   1 <?php
   2 /********************************************************************************
   3 * disconnect.php : exit page
   4 * ----------------
   5 *
   6 * This file is part of the banana distribution
   7 * Copyright: See COPYING files that comes with this distribution
   8 ********************************************************************************/
   9
  10 require_once("include/session.inc.php");
  11 require_once("include/profile.inc.php");
  12 require_once("include/error.inc.php");
  13
  14 $profile=getprofile();
  15 $_SESSION=array();
  16 session_destroy();
  17
  18 require_once("include/header.inc.php");
  19 ?>
  20 <div class="title">
  21   <?php echo _('Déconnexion effectuée !'); ?>
  22 </div>
  23 <p class="normal">
  24   <?php echo _('Retour au <a href="index.php">profil</a>'); ?>
  25 </p>
  26 <?php
  27 require_once("include/footer.inc.php");
  28 ?>