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

[nominatim.git] / settings / settings.php

<?php

echo "ERROR: Scripts must be run from build directory.\n";
exit(1);