equal
deleted
inserted
replaced
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, options); |
100 InfoLister infoLister = new InfoLister(infoOut, this, options); |
101 for (InfoLister.InfoType infoType : options.getShowInfo()) { |
101 infoLister.showInfo(); |
102 infoType.showInfo(infoLister); |
|
103 } |
|
104 } |
102 } |
105 |
103 |
106 switch (mode) { |
104 switch (mode) { |
107 case QUERY_NOW: |
105 case QUERY_NOW: |
108 processQueryNow(); |
106 processQueryNow(); |