File: logout.php

package info (click to toggle)
phppgadmin 4.2.3-1.1squeeze2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 5,396 kB
  • ctags: 6,174
  • sloc: php: 68,599; makefile: 215; sh: 41; 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');

?>