def recv.stuck

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

import Base

1028def recv.stuck(h: Step, +tls: Bool, +server: Bool, +max: U32) -> IO(Conn & Result<&1, &1, U32 & String, Incoming>):
1029  match h:
1030    case Parse{sock, input, partial}:
1031      recv.fail(sock, tls, server, max, (1011, "frame budget exhausted"))
1032    case Decoded{sock, partial, d}:
1033      recv.fail(sock, tls, server, max, (1011, "frame budget exhausted"))
1034    case Fed{sock, rest, r}:
1035      recv.fail(sock, tls, server, max, (1011, "frame budget exhausted"))
1036    case Read{r, input, partial}:
1037      (sock, x) = r
1038      recv.fail(sock, tls, server, max, (1011, "frame budget exhausted"))
1039    case Ponged{r, input, partial}:
1040      (sock, x) = r
1041      recv.fail(sock, tls, server, max, (1011, "frame budget exhausted"))