clean code

diff --git a/lib/php/db.php b/lib/php/db.php
index 1d921df262660380d59c16d9a762aa03194c881f..6fe0f378985f0c9071a35102a1b08e9f1e156413 100644 (file)
--- a/lib/php/db.php
+++ b/lib/php/db.php
@@ -570,8 +570,7 @@ class Db extends nb {
           $count = 0;
           $sql = '';
 
-          while (($line = fgets(STDIN)) !== false) {
-            if (feof(STDIN)) break;
+          while (($line = fgets(STDIN)) !== false and !feof(STDIN)) {
 
             if (strpos($line,'--') === 0) continue;