def client.settings.initial
bend-kit-http2@0.4.0.0 · http2.bend:583
import bend-kit-http2@0.4.0.0/http2.bend as Http2
import Base
583def client.settings.initial(+value: U32, c: Client) -> Reply:
584 Client{input, streams, encoder, decoder,
585 Control{next, active, frame_max, +initial, max_streams, send_window, recv_window,
586 first, ack, continuation, goaway}} = c
587 +delta = (value - initial : U32)
588 client.settings.initial.done(client.streams.adjust(streams, delta),
589 input, encoder, decoder,
590 Control{next, active, frame_max, value, max_streams, send_window, recv_window,
591 first, ack, continuation, goaway})