[GR-56681] Stop escaping '/' in JSON strings.

PullRequest: graal/18469
oracle · Jul 31, 2024 · cecd104 · cecd104
2 parents 41c2c2b + 7bd852f
commit cecd104
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java b/compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/util/json/JsonWriter.java
@@ -326,7 +326,8 @@ private static String quoteString(String s) {
         for (int i = 0; i < s.length(); i++) {
             char c = s.charAt(i);
             // Escaping rules according to https://www.ietf.org/rfc/rfc4627.txt section 2.5
-            if (c == '"' || c == '\\' || c == '/') {
+            // except for '/' because it is unnecessarily verbose.
+            if (c == '"' || c == '\\') {
                 escapeSequence(sb, c);
             } else if (c == '\b') {
                 escapeSequence(sb, 'b');