]> git.joonet.de Git - adminer.git/commitdiff
Allow \r after -- comment
authorJakub Vrana <jakub@vrana.cz>
Sat, 11 Jan 2014 20:22:54 +0000 (12:22 -0800)
committerJakub Vrana <jakub@vrana.cz>
Sat, 11 Jan 2014 20:22:54 +0000 (12:22 -0800)
adminer/sql.inc.php

index 1c47e4c09cedb90517a06db57c7b8550938bb2ae..27b0cc3758912303dcd38e8b576d34f17de57050 100644 (file)
@@ -45,7 +45,7 @@ if (!$error && $_POST) {
                        }
                }
 
-               $space = "(?:\\s|/\\*.*\\*/|(?:#|-- )[^\n]*\n|--\n)";
+               $space = "(?:\\s|/\\*.*\\*/|(?:#|-- )[^\n]*\n|--\r?\n)";
                $delimiter = ";";
                $offset = 0;
                $empty = true;