Fix for 4272 : Changes not replayed initially on adde

gbellato

16.41.2009 2b6d9196406b28e334b525e5e7642d71a9722a4f

 opendj-sdk/opends/src/server/org/opends/server/replication/common/ServerState.java

@@ -366,6 +366,26 @@
  }

  /**
   * Checks that the ChangeNumber given as a parameter is in this ServerState.
   *
   * @param   covered The ChangeNumber that should be checked.
   * @return  A boolean indicating if this ServerState contains the ChangeNumber
   *          given in parameter.
   */
  public boolean cover(ChangeNumber covered)
  {
    ChangeNumber change = this.list.get(covered.getServerId());
    if ((change == null) || (change.older(covered)))
    {
      return false;
    }
    else
    {
      return true;
    }
  }

  /**
   * Tests if the state is empty.
   *
   * @return True if the state is empty.