branch | v_0 |
changeset 74 | a8444f6a54f3 |
parent 69 | 0befec5034c2 |
child 77 | 9ec901d13a14 |
--- a/java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java Thu Dec 26 22:32:06 2013 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java Thu Dec 26 22:39:38 2013 +0100 @@ -120,7 +120,7 @@ break; case Tokens.INFO_CONNECTION: options.addShowInfo(InfoType.CONNECTION); - options.setDatabaseNameToTest(fetchNext(args, ++i)); + options.addDatabaseNameToTest(fetchNext(args, ++i)); break; default: throw new CLIParserException("Unknown option: " + arg);