setting the lastOrdered sequence number of the replica after election
@@ -372,6 +372,9 @@ class PrimaryElector(PrimaryDecider):
assert replica.lastOrderdedPPSeqNo >= seqNo
replica.lastPrePrepareSeqNo = replica.lastOrderdedPPSeqNo
+ if replica.lastOrderdedPPSeqNo < seqNo:
+ replica.lastOrderdedPPSeqNo = seqNo
+
# If this replica has nominated itself and since the
# election is over, reset the flag
if self.replicaNominatedForItself == instId:
