def Leader.release.got

bend-kube-runtime@0.2.0.0 · src/leader.bend:147

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/config.bend as K
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl
import bend-kube-runtime@0.2.0.0/src/time.bend as T
import bend-kube-runtime@0.2.0.0/src/lease.bend as E

147# Hands the lease back if it is ours.
148def Leader.release.got(r: Result<&2, &2, Cl.KErr, J.Json>, +cfg: K.Config, +o: LOpts,
149  w: T.Wall) -> IO(Unit):
150  match r o:
151    case Done{+l} LOpts{ns, n, +id, d, dl, rt}:
152      Leader.release.mine(cfg, LOpts{ns, n, id, d, dl, rt}, E.Lease.release(l, T.Wall.micro(w)),
153        String.eq(E.Lease.holder(l), id))
154    case _ _:
155      IO.pure(Unit, Unit{})