From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 3 Sep 2008 13:49:03 +0000 (+0000)
Subject: Remove unused code
X-Git-Tag: v3.0.0~1036
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=c2b7e0e15dd354bfbf66356cdc61a3be06f38c91;p=adminer.git

Remove unused code

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

diff --git a/privileges.inc.php b/privileges.inc.php
index 9eb4f3d7..eb8a3774 100644
--- a/privileges.inc.php
+++ b/privileges.inc.php
@@ -3,11 +3,6 @@ page_header(lang('Privileges'));
 echo '<p><a href="' . htmlspecialchars($SELF) . 'user=">' . lang('Create user') . "</a></p>";
 $result = $mysql->query("SELECT User, Host FROM mysql.user ORDER BY Host, User");
 if (!$result) {
-	echo "<form action=''><p>\n";
-	if (strlen($_GET["server"])) {
-		echo '<input type="hidden" name="server" value="' . htmlspecialchars($_GET["server"]) . '" />';
-	}
-	echo "</p></form>\n";
 	?>
 	<form action=""><p>
 	<?php if (strlen($_GET["server"])) { ?><input type="hidden" name="server" value="<?php echo htmlspecialchars($_GET["server"]); ?>" /><?php } ?>