mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-12 17:44:07 +02:00
Code Issues Releases Wiki Activity

Flush only if databases are not cached

Browse Source 
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@182 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
jakubvrana
2007-07-16 11:42:58 +00:00
parent d99f4a7108
commit bac7a56172
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
design.inc.php
View File

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