def server.finish

bend-kit-http@0.38.5.0 · http.bend:6398

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

import Base

6398def server.finish(~C: Data, stopped: Bool, error: U32 & String, server: Server<C>) -> IO(ServerExit):
6399  do IO<ServerExit>:
6400    counts : ServerCounts <- server.close(~C, server)
6401    return server.finished(stopped, error, counts)

Uses (12)

Used by (1)

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