##// END OF EJS Templates
encoding: escape U+007F (DEL) character in JSON...
encoding: escape U+007F (DEL) character in JSON RFC 7159 does not state that U+007F must be escaped, but it is widely considered a control character. As '\x7f' is invisible on a terminal, and Python's json.dumps() escapes '\x7f', let's do the same.
Yuya Nishihara -
r27881:ffa599f3 default
Show More
Name Size Modified Last Commit Author
/ contrib / plan9 / hgrc.d
9diff.rc Loading ...
9mail.rc Loading ...
factotum.rc Loading ...