def server.close

bend-kit-camber@0.15.0.1 · camber.bend:1240

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

1240# Without starting the run loop, the caller still explicitly drains transport
1241# and joins application cleanup. A stop request alone is never completion.
1242def server.close(~A: Data, ~S: Type, ~K: Data, ~H: Data, server: Server<A, S, K, H>) -> IO(ServerExit<A, S, K, H>):
1243  Server{transport, owner} = server
1244  do IO<ServerExit<A, S, K, H>>:
1245    counts : Http.ServerCounts <- Http.server.close(~ServingContext<A, S, K, H>, transport)
1246    closed : OwnerClose<S, Application<A, K, Policy<H>>, BufferedRequest, Unit, ApplicationReport<H>> <- close(S, Application<A, K, Policy<H>>, BufferedRequest, Unit, ApplicationReport<H>, owner)
1247    return ServerExit{Http.ServerStopped{counts}, closed}