marc tobias c9a553fdb4 settings.php: when printing error, also exit with error code

2018-11-26 14:28:09 +01:00

..

defaults.php

changed nominatim.so module path to be a runtime configuration setting as opposed to a command line argument

2018-07-24 15:25:12 -06:00

phrase_settings.php

phpcs: remove trailing whitespace from comments

2018-03-27 01:43:02 +02:00

settings.php

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

2018-11-26 14:28:09 +01:00