- paxos_leave is det[private]
- paxos_leave(+Node) is det[private]
- Leave the network. The predicate paxos_leave/0 is called from
at_halt/1 to ensure the node is deleted as the process dies. The
paxos_leave/1 version is called to discard other nodes if they
repeatedly did not respond to queries.