java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java
branchv_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);