|
<?php
|
|
|
|
/**
|
|
* Logs a user out of the app
|
|
*
|
|
* $Id: logout.php,v 1.3 2003/09/10 01:55:52 chriskl Exp $
|
|
*/
|
|
|
|
if (!ini_get('session.auto_start')) {
|
|
session_name('PPA_ID');
|
|
session_start();
|
|
}
|
|
unset($_SESSION);
|
|
session_destroy();
|
|
|
|
header('Location: index.php');
|
|
|
|
?>
|