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

neil_a_wilson
29.30.2007 a791a43de44115e6e7f9de49a88cc2d452eb91a4
opends/src/server/org/opends/server/core/CoreConfigManager.java
@@ -251,6 +251,8 @@
      }
    }
    DirectoryServer.setMailServerPropertySets(mailServerProperties);
    DirectoryServer.setAllowedTasks(globalConfig.getAllowedTask());
  }