From 74e199e488ad7d3c4d982cad657bf9ef1651a979 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 10 Aug 2011 18:13:35 +0200
Subject: [PATCH] DELIMITER is used internally by Adminer

---
 adminer/sql.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php
index 723ed087..762f0273 100644
--- a/adminer/sql.inc.php
+++ b/adminer/sql.inc.php
@@ -57,7 +57,7 @@ if (!$error && $_POST) {
 		$dump_format = $adminer->dumpFormat();
 		unset($dump_format["sql"]);
 		while ($query != "") {
-			if (!$offset && $jush == "sql" && preg_match("~^$space*DELIMITER\\s+(.+)~i", $query, $match)) {
+			if (!$offset && preg_match("~^$space*DELIMITER\\s+(.+)~i", $query, $match)) {
 				$delimiter = $match[1];
 				$query = substr($query, strlen($match[0]));
 			} else {