revised heartbeat method in modPaxos