From 0775cda45886498de887c01f4dc1b3dfd30e4c58 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Tue, 15 Apr 2008 12:06:08 +0000
Subject: [PATCH] Move logout token to page_header()

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@390 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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'); ?>" />