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

jvergara
12.52.2008 ace2aeac634939d514dbf91b6df06bf2c285bbbf
opends/src/server/org/opends/server/tools/ManageTasks.java
@@ -181,7 +181,7 @@
       StringArgument propertiesFileArgument = new StringArgument(
          "propertiesFilePath", null, OPTION_LONG_PROP_FILE_PATH, false, false,
          true, OPTION_VALUE_PROP_FILE_PATH, null, null,
          true, INFO_PROP_FILE_PATH_PLACEHOLDER.get(), null, null,
          INFO_DESCRIPTION_PROP_FILE_PATH.get());
      argParser.addArgument(propertiesFileArgument);
      argParser.setFilePropertiesArgument(propertiesFileArgument);
@@ -194,13 +194,13 @@
      task = new StringArgument(
              "info", 'i', "info",
              false, true, "{taskID}",
              false, true, INFO_TASK_ID_PLACEHOLDER.get(),
              INFO_TASKINFO_TASK_ARG_DESCRIPTION.get());
      argParser.addArgument(task);
      cancel = new StringArgument(
              "cancel", 'c', "cancel",
              false, true, "{taskID}",
              false, true, INFO_TASK_ID_PLACEHOLDER.get(),
              INFO_TASKINFO_TASK_ARG_CANCEL.get());
      argParser.addArgument(cancel);