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

lutoff
22.53.2007 4d5da330c65e9ed54c6511dc30d7d2048bcb8a0e
Add properties file support
1 files modified
13 ■■■■■ changed files
opends/src/server/org/opends/server/tools/ManageTasks.java 13 ●●●●● patch | view | raw | blame | history
opends/src/server/org/opends/server/tools/ManageTasks.java
@@ -179,6 +179,19 @@
    // parser.
    try {
       StringArgument propertiesFileArgument = new StringArgument(
          "propertiesFilePath", null, OPTION_LONG_PROP_FILE_PATH, false, false,
          true, OPTION_VALUE_PROP_FILE_PATH, null, null,
          INFO_DESCRIPTION_PROP_FILE_PATH.get());
      argParser.addArgument(propertiesFileArgument);
      argParser.setFilePropertiesArgument(propertiesFileArgument);
      BooleanArgument noPropertiesFileArgument = new BooleanArgument(
          "noPropertiesFileArgument", null, OPTION_LONG_NO_PROP_FILE,
          INFO_DESCRIPTION_NO_PROP_FILE.get());
      argParser.addArgument(noPropertiesFileArgument);
      argParser.setNoPropertiesFileArgument(noPropertiesFileArgument);
      task = new StringArgument(
              "info", 'i', "info",
              false, true, "{taskID}",