$title" . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . "
\n"; if ($_SESSION["messages"]) { echo " \n"; $_SESSION["messages"] = array(); } if (!$_SESSION["tokens"][$_GET["server"]]["?logout"]) { $_SESSION["tokens"][$_GET["server"]]["?logout"] = rand(1, 1e6); } if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) { session_write_close(); } if ($error) { echo "" . htmlspecialchars($error) . "
\n"; } } function page_footer($missing = false) { global $SELF, $mysql; ?>