def close

bend-kit-websocket@0.4.0.0 · websocket.bend:976

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

976# Sends a close frame; recv then runs until the peer's close comes back as Closed.
977def close(c: Conn, +code: U32, reason: Bytes.Bytes) -> IO(Conn & Result<&1, &1, U32 & String, Unit>):
978  Conn{sock, +tls, +server, input, partial, +max, +closing} = c
979  do IO<Conn & Result<&1, &1, U32 & String, Unit>>:
980    r : Socket & Result<&1, &1, U32 & String, Unit> <- raw(server, sock, tls, True{}, 8, close.payload(code, reason))
981    return back(r, tls, server, input, partial, max, True{})