use JSON unicode escape \uUUUU instead \xXX for [0, 0x20) characters

JSON specification doesn't allow `\xXX` escape sequences
This commit is contained in:
Vladimir Rutsky 2015-02-19 21:00:31 +03:00
parent 47c0698609
commit bc1483429d

View File

@ -66,7 +66,7 @@ print_quoted_value(FILE *outfile, char* value, int bin_len) {
++value;
} else {
// escape control codes / binary data.
fprintf(outfile, "\\x%02x", *(unsigned char*)value++);
fprintf(outfile, "\\u00%02x", *(unsigned char*)value++);
}
} else {
putc(*value++, outfile);