~/jendhub

def pc.end

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

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

4672# The server closed. Only a close-delimited body may end this way (RFC 9112 §8).
4673def pc.end(ok: Bool) -> Pc:
4674  match ok:
4675    case True{}:
4676      Pc{RbDone{}, PoEnd{}}
4677    case False{}:
4678      Pc{RbDone{}, PoBad{ErrBad{}}}

Uses (5)

Used by (1)