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 |
?>
|