pub const JUDGED_STALE_ENV: &str = "MAJORDOMUS_LEASE_JUDGED_STALE";Expand description
The environment variable a server is started with when the process that started it had
already waited on the lease it found and judged it stale; its value is that lease’s
token. The new server’s election then takes exactly that lease over without spending the
same patience on it again. Any other lease, including one that changed in between, still
gets probe_patiently’s wait.