File: logout.php

package info (click to toggle)
phppgadmin 4.2.2-1lenny1
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 5,156 kB
  • ctags: 5,642
  • sloc: php: 68,618; makefile: 214; sh: 40; sql: 16; awk: 9
file content (18 lines) | stat: -rw-r--r-- 265 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
<?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');

?>