mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/replication/server/ReplicationBackend.java @@ -652,6 +652,7 @@ lookthroughCount++; writeChange(ri.getChange(), ldifWriter, searchOperation, rsd.getBaseDn(), exportConfig != null); ri.next(); } } finally