]> git.joonet.de Git - adminer.git/commitdiff
Pass server in DB change
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 5 Jul 2007 10:58:09 +0000 (10:58 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 5 Jul 2007 10:58:09 +0000 (10:58 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@39 7c3ca157-0c34-0410-bff1-cbf682f78f5c

design.inc.php

index 7b3f22537cf1884f20b5ff1aea2ea739f7ef8af9..8303e82e08453d9ce38ad304a5c2c67b27277a00 100644 (file)
@@ -36,7 +36,8 @@ H2 { font-size: 150%; margin-top: 0; }
 <a href="<?php echo htmlspecialchars($SELF); ?>logout="><?php echo lang('Logout'); ?></a>
 </p>
 <form action="" method="get">
-<p><select name="db" onchange="this.form.submit();"><option value="">(<?php echo lang('database'); ?>)</option>
+<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
                $result = mysql_query("SHOW DATABASES");
                while ($row = mysql_fetch_row($result)) {