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