mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/server/replication/server/ServerHandler.java @@ -917,7 +917,9 @@ // don't try anymore to join and return. } if (logger.isTraceEnabled()) { logger.trace("SH.shutdowned(" + this + ")"); } } /**