add vagrant and installation instructions for ubuntu 18

[nominatim.git] / lib / cmd.php

diff --git a/lib/cmd.php b/lib/cmd.php
index 9ec290d1c4243f5158217ab2da6392c0595848bf..101868109c8f2cd9cca82810583e6a9962799820 100644 (file)
--- a/lib/cmd.php
+++ b/lib/cmd.php
@@ -185,6 +185,10 @@ function runSQLScript($sScript, $bfatal = true, $bVerbose = false, $bIgnoreError
         fail('unable to start pgsql');
     }
 
+    if (!$bVerbose) {
+        fwrite($ahPipes[0], "set client_min_messages to WARNING;");
+    }
+
     while (strlen($sScript)) {
         $iWritten = fwrite($ahPipes[0], $sScript);
         if ($iWritten <= 0) break;
@@ -203,7 +207,8 @@ function runWithEnv($sCmd, $aEnv)
     $aFDs = array(
              0 => array('pipe', 'r'),
              1 => STDOUT,
-             2 => STDERR);
+             2 => STDERR
+            );
     $aPipes = null;
     $hProc = @proc_open($sCmd, $aFDs, $aPipes, null, $aEnv);
     if (!is_resource($hProc)) {