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

gbellato
07.19.2009 c015616756e6faa64060971753bc77978ae82dec
opends/src/server/org/opends/server/replication/server/ReplicationBackend.java
@@ -728,7 +728,7 @@
      SearchOperation searchOperation)
  {
    // Walk through the servers
    for (Short serverId : rsd.getServers())
    for (int serverId : rsd.getServers())
    {
      if (exportConfig != null && exportConfig.isCancelled())
      {