use ESCAPE_CONTROLS_ONLY when writing JSON

This commit is contained in:
Martin Michelsen
2024-01-24 21:03:48 -08:00
parent 0fff4ebd4e
commit 082f88d242
4 changed files with 6 additions and 6 deletions
+2 -2
View File
@@ -256,7 +256,7 @@ void WordSelectTable::print(FILE* stream) const {
fprintf(stream, "%04hX ", token->values_by_version[z]);
}
}
string serialized = JSON(token->canonical_name).serialize();
string serialized = JSON(token->canonical_name).serialize(JSON::SerializeOption::ESCAPE_CONTROLS_ONLY);
fprintf(stream, "%s\n", serialized.c_str());
}
}
@@ -274,7 +274,7 @@ void WordSelectTable::print_index(FILE* stream, Version v) const {
fprintf(stream, "%04hX ", token->values_by_version[z]);
}
}
string serialized = JSON(token->canonical_name).serialize();
string serialized = JSON(token->canonical_name).serialize(JSON::SerializeOption::ESCAPE_CONTROLS_ONLY);
fprintf(stream, "%s\n", serialized.c_str());
}
}