Removes escaping of square brackets

Escaping square brackets seems to create problems converting certain files.
If this breaks conversion of other files, the cause must be investigated.
This commit is contained in:
Kristian Knarvik 2020-03-15 03:35:56 +01:00
parent 292409f5dc
commit 4a23f91357

View File

@ -427,9 +427,9 @@ public abstract class Converter {
static String escapeSpecialCharactersInFileName(String fileName) { static String escapeSpecialCharactersInFileName(String fileName) {
return fileName.replace("'", "\\\\\\'") return fileName.replace("'", "\\\\\\'")
.replace(",", "\\\\\\,") .replace(",", "\\\\\\,")
.replace(";", "\\\\\\;") .replace(";", "\\\\\\;");
.replace("]", "\\]") /*.replace("]", "\\]") //Not sure whether these should be escaped or not
.replace("[", "\\["); .replace("[", "\\[");*/
} }
static void print(String input) throws IOException { static void print(String input) throws IOException {