Fix vertical tab in JSON. (#13399)

'\v' is not injected in JSON anymore
This commit is contained in:
Khronos 2020-02-17 08:39:19 +09:00 • committed by GitHub
commit 006fe4cfc4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -586,7 +586,7 @@ proc escapeJsonUnquoted*(s: string; result: var string) =
of '\b': result.add("\\b")
of '\f': result.add("\\f")
of '\t': result.add("\\t")
of '\v': result.add("\\v")
of '\v': result.add("\\u000b")
of '\r': result.add("\\r")
of '"': result.add("\\\"")
of '\0'..'\7': result.add("\\u000" & $ord(c))