@xiangli-cmu I'll add a check for server state to make sure the server is still the leader before sending out a heartbeat (in addition to the `p.stopChan` select).