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 9e9435c2bc0dc5d456f5a94119405ff8b84e8ea7..4b7a0d4e1925597a5f8b1da2687ee1752cf21299 100644 (file)
--- 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"]);