X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/6b1f2cb2bc9771f2c65ff3f44855e6bfdf778d90..c6590bbd84e9bd5589b249af258c506c85d73a23:/lib/lib.php diff --git a/lib/lib.php b/lib/lib.php index b26038d8..b54023a4 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); }