def Exec.sent

bend-kube-runtime@0.2.0.0 · src/exec.bend:307

import Base
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl

307def Exec.sent(p: Socket & Result<&1, &1, U32 & String, Unit>, rest: List<&2, U32>, +ms: U32) ->
308  IO(Result<&2, &2, Cl.KErr, Out>):
309  match p:
310    case (s, Done{u}):
311      Exec.listen(s, rest, ms)
312    case (s, Fail{(c, m)}):
313      Exec.close((s, Fail{Cl.KNet{c, "exec: send: " ++ m}}))