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

ludovicp
25.53.2010 103af6c2868771130143c5baa3b430048dad4e33
opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -312,6 +312,26 @@
  }
  /**
   * Get the largest ChangeNumber.
   * @return the largest ChangeNumber
   */
  public ChangeNumber getMaxChangeNumber()
  {
    ChangeNumber maxCN = null;
    synchronized (list)
    {
      for (int id : list.keySet())
      {
        ChangeNumber tmpMax = list.get(id);
        if ((maxCN==null) || (tmpMax.newer(maxCN)))
          maxCN = tmpMax;
      }
    }
    return maxCN;
  }
  /**
   * Add the tail into resultByteArray at position pos.
   */
  private int addByteArray(byte[] tail, byte[] resultByteArray, int pos)