equal
deleted
inserted
replaced
21 options.validate(); |
21 options.validate(); |
22 |
22 |
23 /** Show info */ |
23 /** Show info */ |
24 if (!options.getShowInfo().isEmpty()) { |
24 if (!options.getShowInfo().isEmpty()) { |
25 InfoLister infoLister = new InfoLister(); |
25 InfoLister infoLister = new InfoLister(); |
26 infoLister.showInfo(options.getShowInfo(), System.err); |
26 infoLister.showInfo(options, System.err); |
27 } |
27 } |
28 |
28 |
29 } catch (CLIParserException e) { |
29 } catch (CLIParserException e) { |
30 log.log(Level.SEVERE, "Unable to parse CLI options", e); |
30 log.log(Level.SEVERE, "Unable to parse CLI options", e); |
31 } catch (InvalidOptionsException e) { |
31 } catch (InvalidOptionsException e) { |