$title\n"; if ($_SESSION["message"]) { echo "

$_SESSION[message]

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