devilbox/.devilbox/www/htdocs/vendor/phppgadmin-5.6.0/logout.php

<?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')) {
	if (session_id() == '') {
		session_name('PPA_ID');
		session_start();
	}
}
unset($_SESSION);
session_destroy();

header('Location: index.php');

?>
Add vendor: phpPgAdmin 2018-12-28 22:38:09 +01:00			`<?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')) {`
Refs #476 Enable autologin for phpPgAdmin 2019-01-30 15:05:48 +01:00			`if (session_id() == '') {`
			`session_name('PPA_ID');`
			`session_start();`
			`}`
Add vendor: phpPgAdmin 2018-12-28 22:38:09 +01:00			`}`
			`unset($_SESSION);`
			`session_destroy();`

			`header('Location: index.php');`

			`?>`