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