The HTTP server.