terminate the PHP script early if we're responding to a CORS preflight OPTIONS request