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.

diff --git a/src/shared/json.c b/src/shared/json.c
index c410b620084eebc1b543b14e32e5bf6f20b69cf7..59c4617592caa1834ddb5e949f8a0a16c87de84e 100644 (file)
--- a/src/shared/json.c
+++ b/src/shared/json.c
@@ -1381,10 +1381,6 @@ static int json_format(FILE *f, JsonVariant *v, JsonFormatFlags flags, const cha
                                 fputs("\\\\", f);
                                 break;
 
-                        case '/':
-                                fputs("\\/", f);
-                                break;
-
                         case '\b':
                                 fputs("\\b", f);
                                 break;