Function watch_http_disconnect

examples/server/server.py:15748–15756

(
        http_request: Request,
        cancel: Callable[[], None],
    )

    )

    async def watch_http_disconnect(
        http_request: Request,
        cancel: Callable[[], None],
    ) -> None:
        while True:
            message = await http_request.receive()
            if message["type"] == "http.disconnect":
                cancel()
                return

    async def disconnected_cancelled_response_or_raise(
        http_request: Request,