Configuration: don't require a space after commas

magmaOffenburg · Apr 12, 2018 · f78953c · f78953c
1 parent d7676e1
commit f78953c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rv/Configuration.java b/src/rv/Configuration.java
@@ -319,7 +319,7 @@ private static String getNextString(BufferedReader in) throws IOException
 	private static String[] getNextStringList(BufferedReader in) throws IOException
 	{
 		String str = getVal(getNextLine(in));
-		return str.split(", ");
+		return str.split(", ?");
 	}
 
 	private static void writeSection(Writer out, String name) throws IOException