From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Tue, 15 Apr 2008 12:06:08 +0000 (+0000)
Subject: Move logout token to page_header()
X-Git-Tag: v3.0.0~1124
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=0775cda45886498de887c01f4dc1b3dfd30e4c58;p=adminer.git

Move logout token to page_header()

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@390 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---

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 "<p class='message'>$_SESSION[message]</p>\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) {
 <a href="<?php echo htmlspecialchars($SELF); ?>sql="><?php echo lang('SQL command'); ?></a>
 <a href="<?php echo htmlspecialchars($SELF); ?>dump=<?php echo urlencode($_GET["table"]); ?>"><?php echo lang('Dump'); ?></a>
 <input type="hidden" name="token" value="<?php
-if (!$_SESSION["tokens"][$_GET["server"]]["?logout"]) {
-	$_SESSION["tokens"][$_GET["server"]]["?logout"] = rand(1, 1e6);
-}
 echo $_SESSION["tokens"][$_GET["server"]]["?logout"];
 ?>" />
 <input type="submit" name="logout" value="<?php echo lang('Logout'); ?>" />