\n" . $extra_message; die(); }; function die_500($message) { throw_http_error(500, "Internal Server Error", $message); };