]> git.openstreetmap.org Git - nominatim.git/commit
projects / nominatim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e1281b) | patch
utils/update.php: make the process exit with an non-zero error code if the update...
authorcalimeroteknik <calimeroteknik@free.fr>
Mon, 7 Dec 2015 12:51:30 +0000 (13:51 +0100)
committercalimeroteknik <calimeroteknik@free.fr>
Mon, 7 Dec 2015 12:54:05 +0000 (13:54 +0100)
commitdbb1f5c0e20ea2d915da4638b74d6579801c4586
tree1876359486f59d7934e4dd050ea4f13a331c5b24tree | snapshot
parent2e1281b9a01cff60a7535f2f99a0c2791576910dcommit | diff
utils/update.php: make the process exit with an non-zero error code if the update fails
utils/update.php diff | blob | history
Open Source search based on OpenStreetMap data