]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #340 from calimeroteknik/update-with-exit-errorcodes
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 7 Dec 2015 19:24:03 +0000 (20:24 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Mon, 7 Dec 2015 19:24:03 +0000 (20:24 +0100)
utils/update.php: make the process exit with an non-zero error code if the update fails


Trivial merge