Issue #365
This commit is contained in:
parent
b9fa74ba7b
commit
40961297e7
|
@ -93,10 +93,10 @@ void writeJSON(string key, string fileName, size_t line, size_t column, string m
|
||||||
first = false;
|
first = false;
|
||||||
writeln(" {");
|
writeln(" {");
|
||||||
writeln(` "key": "`, key, `",`);
|
writeln(` "key": "`, key, `",`);
|
||||||
writeln(` "fileName": "`, fileName, `",`);
|
writeln(` "fileName": "`, fileName.replace(`"`, `\"`).replace("\\", "\\\\"), `",`);
|
||||||
writeln(` "line": `, line, `,`);
|
writeln(` "line": `, line, `,`);
|
||||||
writeln(` "column": `, column, `,`);
|
writeln(` "column": `, column, `,`);
|
||||||
writeln(` "message": "`, message.replace(`"`, `\"`), `"`);
|
writeln(` "message": "`, message.replace(`"`, `\"`).replace("\\", "\\\\"), `"`);
|
||||||
write(" }");
|
write(" }");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue