DELIMITER is used internally by Adminer

This commit is contained in:
Jakub Vrana 2011-08-10 18:13:35 +02:00
parent 71e0db4106
commit 74e199e488

View 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 {