json: do not unescape slashes
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 18 Dec 2018 14:16:26 +0000 (15:16 +0100)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 18 Dec 2018 14:21:37 +0000 (15:21 +0100)
commit8edb6563b4f70e3b16518ef9f00a688e64aa7609
tree14bc195ae6b01d6f640e4bbcebab7dfa64bd7069
parent0e89eb474d9a467df23965e77679e26a4d26ffca
json: do not unescape slashes

Apparently this originated in PHP, so the json output could be directly
embedded in HTML script tags.
See https://stackoverflow.com/questions/1580647/json-why-are-forward-slashes-escaped.

Since the output of our tools is not intended directly for web page generation,
let's not do this unescaping. If needed, the consumer can always do escaping as
appropriate for the target format.
src/shared/json.c