~/jendhub

def Leader.lost

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

import bend-kube-runtime@0.2.0.0/src/leader.bend as Leader
import Base
import bend-kube-runtime@0.2.0.0/src/log.bend as L

91# A leader that cannot renew within the deadline stops at once (a
92# candidate that fails just tries again).
93def Leader.lost() -> IO(Unit):
94  IO.bind(Unit, Unit, L.Log.error("leader lease lost; exiting", Nil{}), u => IO.exit(1))

Uses (6)

Used by (1)