]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/lib.php
adapt settings for poldi
[nominatim.git] / lib / lib.php
index d04c191b31318849c2bea7370ba7a6941d9c65ba..a7c805f7ddc274c55bef435423a8bf949421d480 100644 (file)
@@ -3,7 +3,7 @@
        function fail($sError, $sUserError = false)
        {
                if (!$sUserError) $sUserError = $sError;
-               log('ERROR:'.$sError);
+               error_log('ERROR: '.$sError);
                echo $sUserError."\n";
                exit;
        }