]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/lib.php
return with non-zero exit code on error
[nominatim.git] / lib / lib.php
index afcc02eff186f78d5579a4b5136e935edf8b37df..1e05def37c3ce833e39190b252ff3278a0030c55 100644 (file)
@@ -45,7 +45,7 @@
                if (!$sUserError) $sUserError = $sError;
                error_log('ERROR: '.$sError);
                echo $sUserError."\n";
-               exit;
+               exit(-1);
        }