X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/a178a628770894bcdf498a9768d94091b5c8f7c5..be1d7f38cafda0f555c1eef856cc301fc55251ae:/lib/lib.php diff --git a/lib/lib.php b/lib/lib.php index afcc02ef..1e05def3 100644 --- a/lib/lib.php +++ b/lib/lib.php @@ -45,7 +45,7 @@ if (!$sUserError) $sUserError = $sError; error_log('ERROR: '.$sError); echo $sUserError."\n"; - exit; + exit(-1); }