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

gbellato
23.22.2009 26dcd79e2f37afc36a9f9daa07a7aabd5168fc49
opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -22,7 +22,7 @@
 * CDDL HEADER END
 *
 *
 *      Copyright 2006-2008 Sun Microsystems, Inc.
 *      Copyright 2006-2009 Sun Microsystems, Inc.
 */
package org.opends.server.replication.common;
@@ -431,7 +431,7 @@
   */
  public void setSaved(boolean b)
  {
    saved = false;
    saved = b;
  }
  /**