Improve server-side logging of internal errors when serving tickets.
Always log errors using PHP's error_log