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

neil_a_wilson
02.12.2007 3af39927fd1bba93a2769cd5d6bc7b6c5f924c64
opends/src/server/org/opends/server/core/CoreConfigManager.java
@@ -337,6 +337,9 @@
         globalConfig.isReturnBindErrorMessages());
    DirectoryServer.setIdleTimeLimit(globalConfig.getIdleTimeLimit());
    DirectoryServer.setSaveConfigOnSuccessfulStartup(
         globalConfig.isSaveConfigOnSuccessfulStartup());
  }