gecko-dev/webtools/update/developers/logout.php
2004-12-09 06:34:53 +00:00

10 lines
192 B
PHP
Executable File

<?php
require"core/sessionconfig.php";
session_unset();
session_destroy();
$return_path="developers/index.php?logout=true";
header("Location: http://$_SERVER[SERVER_NAME]/$return_path");
?>