equal
deleted
inserted
replaced
73 args = new String[]{CLIParser.Tokens.INFO_HELP}; |
73 args = new String[]{CLIParser.Tokens.INFO_HELP}; |
74 } |
74 } |
75 |
75 |
76 try { |
76 try { |
77 CLIParser parser = new CLIParser(); |
77 CLIParser parser = new CLIParser(); |
78 CLIOptions options = parser.parseOptions(args); |
78 CLIOptions options = parser.parseOptions(args, System.in); |
79 options.validate(); |
79 options.validate(); |
80 CLIStarter starter = new CLIStarter(options); |
80 CLIStarter starter = new CLIStarter(options); |
81 starter.installDefaultConfiguration(); |
81 starter.installDefaultConfiguration(); |
82 starter.process(); |
82 starter.process(); |
83 log.log(Level.FINE, "All done"); |
83 log.log(Level.FINE, "All done"); |