def server.finish

bend-kit-http@0.38.2.0 · http.bend:6406

import bend-kit-http@0.38.2.0/http.bend as Http

import Base

6406def server.finish(~C: Data, stopped: Bool, error: U32 & String, server: Server<C>) -> IO(ServerExit):
6407  do IO<ServerExit>:
6408    counts : ServerCounts <- server.close(~C, server)
6409    return server.finished(stopped, error, counts)

Uses (12)

Used by (1)

bend-kit-http@0.38.2.0/http:server.run.loop