2
0
mirror of https://github.com/boostorg/website.git synced 2026-01-23 18:12:16 +00:00

2 Commits

Author SHA1 Message Date
Daniel James
9489e3b0b7 Use exit(255) to match php 2017-02-09 13:28:46 +00:00
Daniel James
5dfc5183e0 Fix a couple of error handling issues
- Use `http_response_code` as it's a bit more robust than using `header`.
- Check errors against `error_reporting()`, so that error checks can be
  ignored when appropriate.
2017-02-09 13:28:45 +00:00