def serve.write.completed

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

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

6895def serve.write.completed(observer: Completion.Receipt, receipt: Completion.Receipt, +status: U32,
6896  settings: Limits, keep: Bool, rest: Bytes.Bytes, result: Maybe<&1, Socket> & Completion.Outcome) -> IO(Maybe<&1, Socket & Turn>):
6897  (socket, outcome) = result
6898  +observed = {outcome : Completion.Outcome}
6899  do IO<Maybe<&1, Socket & Turn>>:
6900    Completion.report(observer, status, observed)
6901    Completion.report(receipt, status, observed)
6902    return serve.write.after(settings, keep, rest, socket)