This is an HTTP-specific function, we don't need to echo & exit separately.