mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Matthew Swift
07.04.2013 9e996084c857a9d6853dc14b16d1201996ed2ede
opends/src/server/org/opends/server/replication/server/DraftCNDbHandler.java
@@ -406,7 +406,7 @@
          // reading
          domain.getEligibleState(crossDomainEligibleCN);
          ChangeNumber fcn = startState.getMaxChangeNumber(cn
          ChangeNumber fcn = startState.getChangeNumber(cn
              .getServerId());
          int currentKey = cursor.currentKey();
@@ -438,7 +438,7 @@
          }
          if ((cnVector == null)
                  || ((cnVector.getMaxChangeNumber(cn.getServerId()) != null)
                  || ((cnVector.getChangeNumber(cn.getServerId()) != null)
                      && !cnVector.cover(startState)))
          {
            cursor.delete();