def serve.write.completed

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

import Base
import bend-kit-http@0.38.2.0/completion.bend as Completion
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

6903def serve.write.completed(observer: Completion.Receipt, receipt: Completion.Receipt, +status: U32,
6904  settings: Limits, keep: Bool, rest: Bytes.Bytes, result: Maybe<&1, Socket> & Completion.Outcome) -> IO(Maybe<&1, Socket & Turn>):
6905  (socket, outcome) = result
6906  +observed = {outcome : Completion.Outcome}
6907  do IO<Maybe<&1, Socket & Turn>>:
6908    Completion.report(observer, status, observed)
6909    Completion.report(receipt, status, observed)
6910    return serve.write.after(settings, keep, rest, socket)