branch | v_0 |
changeset 15 | bbd335b5410c |
parent 14 | 189b1260b942 |
child 16 | 5b8fcd35d4d6 |
1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java Mon Dec 16 15:15:32 2013 +0100 1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java Mon Dec 16 15:29:02 2013 +0100 1.3 @@ -23,7 +23,7 @@ 1.4 /** Show info */ 1.5 if (!options.getShowInfo().isEmpty()) { 1.6 InfoLister infoLister = new InfoLister(); 1.7 - infoLister.showInfo(options.getShowInfo(), System.err); 1.8 + infoLister.showInfo(options, System.err); 1.9 } 1.10 1.11 } catch (CLIParserException e) {