Skip to content

Commit

Permalink
[FLINK-8348] [flip6] Print help for DefaultCLI
Browse files Browse the repository at this point in the history
This closes #5233.
  • Loading branch information
tillrohrmann committed Jan 12, 2018
1 parent ac34a61 commit ad69f50
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 10 deletions.
Expand Up @@ -350,16 +350,14 @@ private static void printCustomCliOptions(
boolean runOptions) {
// prints options from all available command-line classes
for (CustomCommandLine cli: customCommandLines) {
if (cli.getId() != null) {
formatter.setSyntaxPrefix(" Options for " + cli.getId() + " mode:");
Options customOpts = new Options();
cli.addGeneralOptions(customOpts);
if (runOptions) {
cli.addRunOptions(customOpts);
}
formatter.printHelp(" ", customOpts);
System.out.println();
formatter.setSyntaxPrefix(" Options for " + cli.getId() + " mode:");
Options customOpts = new Options();
cli.addGeneralOptions(customOpts);
if (runOptions) {
cli.addRunOptions(customOpts);
}
formatter.printHelp(" ", customOpts);
System.out.println();
}
}

Expand Down
Expand Up @@ -45,7 +45,7 @@ public boolean isActive(CommandLine commandLine) {

@Override
public String getId() {
return null;
return "Default CLI";
}

@Override
Expand Down

0 comments on commit ad69f50

Please sign in to comment.