mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/replication/server/MessageHandler.java @@ -695,7 +695,7 @@ msgQueue.notifyAll(); } DirectoryServer.deregisterMonitorProvider(getMonitorInstanceName()); DirectoryServer.deregisterMonitorProvider(this); } /**