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

neil_a_wilson
10.07.2006 fe962db1ca6c350a03cdff4ac6e0450909e0b56f
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -7478,6 +7478,7 @@
                                       true, false, true, "{configClass}",
                                       ConfigFileHandler.class.getName(), null,
                                       MSGID_DSCORE_DESCRIPTION_CONFIG_CLASS);
      configClass.setHidden(true);
      argParser.addArgument(configClass);
@@ -7485,6 +7486,7 @@
                                      true, false, true, "{configFile}", null,
                                      null,
                                      MSGID_DSCORE_DESCRIPTION_CONFIG_FILE);
      configFile.setHidden(true);
      argParser.addArgument(configFile);
@@ -7511,9 +7513,8 @@
      argParser.addArgument(dumpMessages);
      noDetach = new BooleanArgument("nodetach", 'N', "noDetach",
      noDetach = new BooleanArgument("nodetach", 'N', "nodetach",
                                     MSGID_DSCORE_DESCRIPTION_NODETACH);
      noDetach.setHidden(true);
      argParser.addArgument(noDetach);