From: Sarah Hoffmann <lonvia@denofr.de>
Date: Mon, 26 Nov 2018 13:53:11 +0000 (+0100)
Subject: Merge pull request #1247 from mtmail/exit-with-error-code
X-Git-Tag: v3.3.0~59
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/7665e5a03530bcc37ff25e0e838f8aa1b7fb69b5

Merge pull request #1247 from mtmail/exit-with-error-code

settings.php: when printing error, also exit with error code
---

7665e5a03530bcc37ff25e0e838f8aa1b7fb69b5