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

Ludovic Poitou
07.59.2013 fd853c6e0cab65d6356188bdf4f6d8b750cfedf6
Fix typo and code simplification
1 files modified
13 ■■■■ changed files
opends/src/server/org/opends/server/replication/common/ServerState.java 13 ●●●● patch | view | raw | blame | history
opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -23,7 +23,7 @@
 *
 *
 *      Copyright 2006-2010 Sun Microsystems, Inc.
 *      Portions Copyright 2011 ForgeRock AS
 *      Portions Copyright 2011-2013 ForgeRock AS
 */
package org.opends.server.replication.common;
@@ -423,14 +423,7 @@
  public boolean cover(ChangeNumber covered)
  {
    ChangeNumber change = this.list.get(covered.getServerId());
    if ((change == null) || (change.older(covered)))
    {
      return false;
    }
    else
    {
      return true;
    }
    return !((change == null) || (change.older(covered)));
  }
  /**
@@ -502,7 +495,7 @@
  /**
   * Set the saved status of this ServerState.
   *
   * @param b A booelan indicating if the State has been safely stored.
   * @param b A boolean indicating if the State has been safely stored.
   */
  public void setSaved(boolean b)
  {