fix json escaping

This commit is contained in:
Grahame Grieve 2023-03-07 06:30:01 +11:00
parent 0c26f09721
commit 58a933094f
1 changed files with 1 additions and 1 deletions

View File

@ -996,7 +996,7 @@ public class Utilities {
else if (c == ' ') else if (c == ' ')
b.append(" "); b.append(" ");
else if (isWhitespace(c)) { else if (isWhitespace(c)) {
b.append("\\u"+Integer.toHexString(c)); b.append("\\u"+Utilities.padLeft(Integer.toHexString(c), '0', 4));
} else if (((int) c) < 32) } else if (((int) c) < 32)
b.append("\\u" + Utilities.padLeft(String.valueOf((int) c), '0', 4)); b.append("\\u" + Utilities.padLeft(String.valueOf((int) c), '0', 4));
else else