]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/cmd.php
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / cmd.php
index 101868109c8f2cd9cca82810583e6a9962799820..44923618723636b86aec3c17f9f3ae4df3742e83 100644 (file)
@@ -186,7 +186,7 @@ function runSQLScript($sScript, $bfatal = true, $bVerbose = false, $bIgnoreError
     }
 
     if (!$bVerbose) {
     }
 
     if (!$bVerbose) {
-        fwrite($ahPipes[0], "set client_min_messages to WARNING;");
+        fwrite($ahPipes[0], 'set client_min_messages to WARNING;');
     }
 
     while (strlen($sScript)) {
     }
 
     while (strlen($sScript)) {