From bac7a561726ffff370b5a80b5f050a8a5e61529c Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Mon, 16 Jul 2007 11:42:58 +0000
Subject: [PATCH] Flush only if databases are not cached

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@182 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/design.inc.php b/design.inc.php
index 9e9435c2..4b7a0d4e 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -51,8 +51,8 @@ function page_footer($missing = false) {
 <p><?php if (strlen($_GET["server"])) { ?><input type="hidden" name="server" value="<?php echo htmlspecialchars($_GET["server"]); ?>" /><?php } ?>
 <select name="db" onchange="this.form.submit();"><option value="">(<?php echo lang('database'); ?>)</option>
 <?php
-		flush();
 		if (!isset($_SESSION["databases"][$_GET["server"]])) {
+			flush();
 			$_SESSION["databases"][$_GET["server"]] = get_vals("SHOW DATABASES");
 		}
 		echo optionlist($_SESSION["databases"][$_GET["server"]], $_GET["db"]);