Statistiques
| Branche: | Révision :

root / src / logout.php @ d072e29c

Historique | Voir | Annoter | Télécharger (587 octet)

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

    
6
// connect to DB
7
$connexion = mysql_pconnect (SERVEUR, NOM, PASSE);
8
if (!$connexion) {
9
 echo "Logout error: Sorry, connexion to " . SERVEUR . " failed\n";
10
 exit;
11
}
12
if (!mysql_select_db (BASE, $connexion)) {
13
 echo "Logout error: Sorry, connexion to database " . BASE . " failed\n";
14
 exit;
15
}
16

    
17
//erase session from table
18
$id = session_id();
19
$qry = "DELETE FROM websession WHERE id_session = '$id'";
20
$resultat = execQry ($qry, $connexion);
21

    
22
session_destroy();
23
header("Location: home.php");
24
?>