gitlab_medici/old/html/PostgresssAdmin/logout.php @ master
| 1 | 6daefa8c | Petr Lukašík | <?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 | ?>
|