law tunnel_end_before_answer

bend-kube-runtime@0.2.0.0 · LAWS.bend:300

import bend-kube-runtime@0.2.0.0/LAWS.bend as LAWS
import Base
import bend-kube-runtime@0.2.0.0/src/proxy.bend as P

300# A proxy that hangs up before its answer is whole fails the tunnel.
301law tunnel_end_before_answer:
302  for h: List<&2, U32>
303  {P.Tunnel.feed(P.TMore{h}, Nil{})
304    == P.TFail{"proxy closed the connection before answering CONNECT"} : P.Tunnel}

Uses (4)

Used by (0)

No other definition uses this definition.