db.stdin

diff --git a/lib/php/db.php b/lib/php/db.php
index 58bee37a41757e3c1759556d8e1a7dce812a49da..4b0bdcb36b308a2d661ebdd780da8166cce66d47 100644 (file)
--- a/lib/php/db.php
+++ b/lib/php/db.php
@@ -516,7 +516,7 @@ class Db extends nb {
           $count = 0;
           while ($line = fgets(STDIN)) {
             $line = preg_replace('/^\s*(.*?)\s*;?\s*$/','$1',$line);
-            if (!$line) continue;
+            if (!$line or strpos($line,'--') === 0) continue;
             $count++;
             #echo "$count> $line\n";
             $this->conn->exec($line);