From 2ca0179674626f668d89013c66ef2a177acd719b Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Thu, 5 Jul 2007 10:58:09 +0000
Subject: [PATCH] Pass server in DB change

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

diff --git a/design.inc.php b/design.inc.php
index 7b3f2253..8303e82e 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -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)) {