fixed learner_port is a configuration parameter, consisting of the UDP port on which learners listen for Paxos packets. thanks again @tudang for helping me understand your p4 implementation; clarified comments;
fixed learner_port is a configuration parameter, consisting of the UDP port on which learners listen for Paxos packets. thanks again @tudang for helping me understand your p4 implementation;
clarified comments;

niksu/pax,niksu/pax,TMVector/pax,niksu/pax,TMVector/pax