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

Jean-Noel Rouvignac
05.07.2013 1d15200b509c239186ff5bfbe2ef195b82715571
opends/src/server/org/opends/server/api/DirectoryThread.java
@@ -416,6 +416,7 @@
  public void initiateShutdown()
  {
    setThreadStateIfNotShuttingDown(ThreadState.SHUTTING_DOWN);
    interrupt();
  }
  /**