updated paxos destructor