gitlab_medici/old/html/PostgresssAdmin/logout.php @ f1da904b
| 1 |
<?php
|
|---|---|
| 2 |
|
| 3 |
/**
|
| 4 |
* Logs a user out of the app
|
| 5 |
*
|
| 6 |
* $Id: logout.php,v 1.3 2003/09/10 01:55:52 chriskl Exp $
|
| 7 |
*/
|
| 8 |
|
| 9 |
if (!ini_get('session.auto_start')) { |
| 10 |
session_name('PPA_ID'); |
| 11 |
session_start(); |
| 12 |
}
|
| 13 |
unset($_SESSION); |
| 14 |
session_destroy(); |
| 15 |
|
| 16 |
header('Location: index.php'); |
| 17 |
|
| 18 |
?>
|