--- 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 {