]> git.joonet.de Git - adminer.git/commitdiff
DELIMITER is used internally by Adminer
authorJakub Vrana <jakub@vrana.cz>
Wed, 10 Aug 2011 16:13:35 +0000 (18:13 +0200)
committerJakub Vrana <jakub@vrana.cz>
Wed, 10 Aug 2011 16:13:35 +0000 (18:13 +0200)
adminer/sql.inc.php

index 723ed087ddfba0933a512ec3ca3eb24a3f06ce71..762f0273c72fbc31f9f129aa9df1e6a5dfe165dc 100644 (file)
@@ -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 {