def recv.fail

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

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

1003# A peer broke the protocol: send close with its code (§7.1.7), then report it.
1004def recv.fail(sock: Socket, +tls: Bool, +server: Bool, +max: U32, e: U32 & String) -> IO(Conn & Result<&1, &1, U32 & String, Incoming>):
1005  (+code, why) = e
1006  do IO<Conn & Result<&1, &1, U32 & String, Incoming>>:
1007    r : Socket & Result<&1, &1, U32 & String, Unit> <- raw(server, sock, tls, True{}, 8, close.payload(code, Bytes.new(0)))
1008    recv.failed(r, tls, server, max, (code, why))