Fix for 4272 : Changes not replayed initially on adde

gbellato

16.41.2009 422cba8af9837ba20b11a46a6e8a172e3b5a7558

 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.