java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java
branchv_0
changeset 10 f528406f33f4
parent 9 2ec52027b97f
child 12 2dcb67d90fd2
     1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java	Sun Dec 15 23:58:58 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIParser.java	Mon Dec 16 00:05:30 2013 +0100
     1.3 @@ -39,7 +39,7 @@
     1.4  				case Tokens.TYPES:
     1.5  					String typesString = fetchNext(args, ++i);
     1.6  
     1.7 -					for (String oneType : typesString.split("\\s*,\\s*")) {
     1.8 +					for (String oneType : typesString.split(",")) {
     1.9  						int sepatratorIndex = oneType.indexOf(TYPE_NAME_SEPARATOR);
    1.10  						if (sepatratorIndex == -1) {
    1.11  							numberedTypes.add(getType(oneType));
    1.12 @@ -127,7 +127,7 @@
    1.13  	}
    1.14  
    1.15  	private int getType(String typeString) throws CLIParserException {
    1.16 -		Integer type = types.get(typeString);
    1.17 +		Integer type = types.get(typeString.trim());
    1.18  		if (type == null) {
    1.19  			throw new CLIParserException("Unsupported type: " + typeString);
    1.20  		} else {