def server.finished
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
6398def server.finished(stopped: Bool, error: U32 & String, counts: ServerCounts) -> ServerExit:
6399 match stopped:
6400 case True{}:
6401 ServerStopped{counts}
6402 case False{}:
6403 (code, message) = error
6404 ServerAcceptFailed{code, message, counts}