diff options
author | Marius Guggenmos <MariusGuggenmos@gmail.com> | 2017-10-07 21:15:35 +0200 |
---|---|---|
committer | Marius Guggenmos <MariusGuggenmos@gmail.com> | 2017-10-07 21:15:35 +0200 |
commit | 1d380bf03d56064e4ba21a1370439166e6787c87 (patch) | |
tree | c520f05949a1562b9725de62cc4bf1803e03ce4e | |
parent | 5a49106ff45be32018793eeca3fb168b3a374faf (diff) |
fixed double escape for quotes in editor/SCsub
-rw-r--r-- | editor/SCsub | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editor/SCsub b/editor/SCsub index e44b4e4bb2..772feca5f8 100644 --- a/editor/SCsub +++ b/editor/SCsub @@ -237,7 +237,7 @@ def make_license_header(target, source, env): g.write("static const char *about_license =") for line in f: - escaped_string = escape_string(line.strip().replace("\"", "\\\"")) + escaped_string = escape_string(line.strip()) g.write("\n\t\"" + escaped_string + "\\n\"") g.write(";\n") @@ -323,12 +323,12 @@ def make_license_header(target, source, env): for k in j[0].split("\n"): if file_body != "": file_body += "\\n\"\n" - escaped_string = escape_string(k.strip().replace("\"", "\\\"")) + escaped_string = escape_string(k.strip()) file_body += "\t\"" + escaped_string for k in j[1].split("\n"): if copyright_body != "": copyright_body += "\\n\"\n" - escaped_string = escape_string(k.strip().replace("\"", "\\\"")) + escaped_string = escape_string(k.strip()) copyright_body += "\t\"" + escaped_string about_tp_file += "\t" + file_body + "\",\n" @@ -343,7 +343,7 @@ def make_license_header(target, source, env): for j in i[1].split("\n"): if body != "": body += "\\n\"\n" - escaped_string = escape_string(j.strip().replace("\"", "\\\"")) + escaped_string = escape_string(j.strip()) body += "\t\"" + escaped_string about_license_name += "\t\"" + i[0] + "\",\n" |