Révision d072e29c src/logout.php

b/src/logout.php
1 1 
<?php
2 
session_start ();
2 
session_start();
3 3 
require_once ("connect_entry.php");
4 
require_once ("session.php");
4 
require_once ("lib/session.lib.php");
5 5 

  		





  6
  6
  
    
// connect to DB


  		





  7
  7
  
    
$connexion = mysql_pconnect (SERVEUR, NOM, PASSE);


  		





  8
  
  
    
if (!$connexion)


  		





  9
  
  
    
{


  		





  
  8
  
    
if (!$connexion) {


  		





  10
  9
  
    
 echo "Logout error: Sorry, connexion to " . SERVEUR . " failed\n";


  		





  11
  10
  
    
 exit;


  		





  12
  11
  
    
}


  		





  13
  
  
    
if (!mysql_select_db (BASE, $connexion))


  		





  14
  
  
    
{


  		





  
  12
  
    
if (!mysql_select_db (BASE, $connexion)) {


  		





  15
  13
  
    
 echo "Logout error: Sorry, connexion to database " . BASE . " failed\n";


  		





  16
  14
  
    
 exit;


  		





  17
  15
  
    
}


  		





  ......




  21
  19
  
    
$qry = "DELETE FROM websession WHERE id_session = '$id'";


  		





  22
  20
  
    
$resultat = execQry ($qry, $connexion);


  		





  23
  21
  
    

  		





  24
  
  
    
//go to welcome page


  		





  25
  
  
    
header('Location: home.php');


  		





  26
  
  
    
session_destroy ();


  		





  
  22
  
    
session_destroy();


  		





  
  23
  
    
header("Location: home.php");


  		





  27
  24
  
    
?>


  		












Formats disponibles :
  Unified diff