diff --git a/design.inc.php b/design.inc.php index c82585e5..53172731 100644 --- a/design.inc.php +++ b/design.inc.php @@ -43,6 +43,9 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { echo "

$_SESSION[message]

\n"; $_SESSION["message"] = ""; } + 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(); } @@ -65,9 +68,6 @@ function page_footer($missing = false) { "> " />