]> git.joonet.de Git - adminer.git/commitdiff
Don't include trailing space to delimiter
authorJakub Vrana <jakub@vrana.cz>
Thu, 9 Aug 2012 15:39:54 +0000 (08:39 -0700)
committerJakub Vrana <jakub@vrana.cz>
Thu, 9 Aug 2012 15:39:54 +0000 (08:39 -0700)
adminer/sql.inc.php

index fe8721e850c43429a38e603801837fc796988a69..58d260a72c6d7ca11d495e6dedf4f0308a529769 100644 (file)
@@ -58,7 +58,7 @@ if (!$error && $_POST) {
                $dump_format = $adminer->dumpFormat();
                unset($dump_format["sql"]);
                while ($query != "") {
-                       if (!$offset && preg_match("~^$space*DELIMITER\\s+(.+)~i", $query, $match)) {
+                       if (!$offset && preg_match("~^$space*DELIMITER\\s+(\\S+)~i", $query, $match)) {
                                $delimiter = $match[1];
                                $query = substr($query, strlen($match[0]));
                        } else {