From fab8333d9aa69dac1864a5399fa362b5e7156b08 Mon Sep 17 00:00:00 2001
From: Nico Boisselier <nico@dhcp-192-168-4-150.semantico.net>
Date: Thu, 27 Oct 2016 15:08:22 +0100
Subject: [PATCH] db.stdin

---
 lib/php/db.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/php/db.php b/lib/php/db.php
index 58bee37a..4b0bdcb3 100644
--- 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);
-- 
2.47.3