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

gbellato
17.46.2006 46e6061d63562ce021ef8f3b5062d3eba1c2db4e
opends/src/server/org/opends/server/synchronization/common/ServerState.java
@@ -31,6 +31,7 @@
import java.util.Date;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import java.util.zip.DataFormatException;
@@ -44,7 +45,7 @@
 * from each server.
 * It is exchanged with the changelog servers at connection establishment time.
 */
public class ServerState
public class ServerState implements Iterable<Short>
{
  private HashMap<Short, ChangeNumber> list;
@@ -281,4 +282,12 @@
      return result;
    }
  }
  /**
   * {@inheritDoc}
   */
  public Iterator<Short> iterator()
  {
    return list.keySet().iterator();
  }
}