$title\n";
if ($_SESSION["message"]) {
echo "
$_SESSION[message]
\n";
$_SESSION["message"] = "";
}
if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) {
session_write_close();
}
}
function page_footer($missing = false) {
global $SELF, $mysql;
?>