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

neil_a_wilson
30.05.2007 dd80dce4110fec321d23d7536dba069d10bd7014
opends/src/server/org/opends/server/core/CoreConfigManager.java
@@ -334,6 +334,9 @@
      }
    }
    DirectoryServer.setDisabledPrivileges(disabledPrivileges);
    DirectoryServer.setReturnBindErrorMessages(
         globalConfig.isReturnBindErrorMessages());
  }