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

abobrov
14.56.2007 b05ed82c390ac4d8ac800597ba37ffb5e1f39f1b
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8587,6 +8587,19 @@
  }
  /**
   * Indicates whether the server is currently in the process of shutting down.
   * @return <CODE>true</CODE> if this server is currently in the process of
   * shutting down and <CODE>false</CODE> otherwise.
   */
  public boolean isShuttingDown()
  {
    return shuttingDown;
  }
  /**
   * Parses the provided command-line arguments and uses that information to
   * bootstrap and start the Directory Server.