equal
deleted
inserted
replaced
95 MODE mode = options.getMode(); |
95 MODE mode = options.getMode(); |
96 |
96 |
97 /** Show info */ |
97 /** Show info */ |
98 if (!options.getShowInfo().isEmpty()) { |
98 if (!options.getShowInfo().isEmpty()) { |
99 PrintStream infoOut = mode == MODE.JUST_SHOW_INFO ? System.out : System.err; |
99 PrintStream infoOut = mode == MODE.JUST_SHOW_INFO ? System.out : System.err; |
100 InfoLister infoLister = new InfoLister(infoOut, this); |
100 InfoLister infoLister = new InfoLister(infoOut, this, options); |
101 infoLister.showInfo(options); |
101 for (InfoLister.InfoType infoType : options.getShowInfo()) { |
|
102 infoType.showInfo(infoLister); |
|
103 } |
102 } |
104 } |
103 |
105 |
104 switch (mode) { |
106 switch (mode) { |
105 case QUERY_NOW: |
107 case QUERY_NOW: |
106 processQueryNow(); |
108 processQueryNow(); |