Merge remote-tracking branch 'upstream/master'

[nominatim.git] / settings / settings.php

diff --git a/settings/settings.php b/settings/settings.php
index 3475ae7b309b0ba909146e62e28a3add5aef2b30..907a9fa0b530804bd776532abf6a3000ba5f2b39 100644 (file)
--- a/settings/settings.php
+++ b/settings/settings.php
@@ -1,4 +1,4 @@
 <?php
-       echo "ERROR: Scripts must be run from build directory.\n";
-       exit;
 
+echo "ERROR: Scripts must be run from build directory.\n";
+exit(1);