Make sure there is only one valid new master.

This is done using the paxos proposal number as a certificate.

1 files changed, 2 insertions, 2 deletions

diff --git a/same/src/main/java/com/orbekk/paxos/MasterProposer.java b/same/src/main/java/com/orbekk/paxos/MasterProposer.java
index 8469cf4..094a749 100644
--- a/same/src/main/java/com/orbekk/paxos/MasterProposer.java
+++ b/same/src/main/java/com/orbekk/paxos/MasterProposer.java
@@ -91,9 +91,9 @@ public class MasterProposer extends Thread {
     }
     
     Integer proposeRetry(int proposalNumber, Runnable retryAction) {
-        assert proposalNumber >= 0;
+        assert proposalNumber > 0;
         int nextProposal = proposalNumber;
-        int result = -1;
+        int result = nextProposal - 1;
 
         while (!Thread.interrupted() && result != nextProposal) {
             result = internalPropose(nextProposal);