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

Jean-Noel Rouvignac
08.06.2015 b8c6b80da1cb6118167a934daa480eb381c59e0e
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 + ")");
    }
  }
  /**