mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
kenneth_suter
16.56.2007 46f64d6b7b18945b4d609fabe9ac87b3f6cb8f30 
 opends/src/server/org/opends/server/core/DirectoryServer.java


@@ -791,7 +791,7 @@


   * @throws  InitializationException  If the Directory Server is currently


   *                                   running.


   */


  private void setEnvironmentConfig(DirectoryEnvironmentConfig config)


  public void setEnvironmentConfig(DirectoryEnvironmentConfig config)


          throws InitializationException


  {


    if (isRunning)