mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/replication/server/ReplicationServer.java @@ -737,12 +737,13 @@ replicationServerDomain.shutdown(); } shutdownECL(); if (dbEnv != null) { dbEnv.shutdown(); } shutdownECL(); }