]> git.openstreetmap.org Git - nominatim.git/commitdiff
utils/update.php: use fail() whenever possible for errors
authorcalimeroteknik <calimeroteknik@free.fr>
Mon, 7 Dec 2015 13:08:02 +0000 (14:08 +0100)
committercalimeroteknik <calimeroteknik@free.fr>
Mon, 7 Dec 2015 13:08:02 +0000 (14:08 +0100)

No differences found