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

fguigues
04.46.2007 233012fc7e14d8856f75956f02edac991c70dd5a
opends/src/server/org/opends/server/tools/ManageTasks.java
@@ -275,6 +275,11 @@
          MenuResult<TaskEntry> r =
                  new CancelTask(cancel.getValue()).invoke(this);
          if (r.isAgain()) return 1;
        } else if (!isInteractive()) {
           // no-prompt option
           getOutputStream().println();
           printSummaryTable();
           return 0;
        }
      } catch (LDAPConnectionException lce) {
@@ -306,7 +311,8 @@
   * {@inheritDoc}
   */
  public boolean isMenuDrivenMode() {
    return !task.isPresent() && !cancel.isPresent() && !summary.isPresent();
    return !task.isPresent() && !cancel.isPresent() && !summary.isPresent() &&
           !noPrompt.isPresent();
  }
  /**