From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Mon, 16 Jul 2007 11:42:58 +0000 (+0000)
Subject: Flush only if databases are not cached
X-Git-Tag: v3.0.0~1326
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=bac7a561726ffff370b5a80b5f050a8a5e61529c;p=adminer.git

Flush only if databases are not cached

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

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"]);