From 74001fe67409964e2a67659fa4a4846910ce085b Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Mon, 29 Jan 2018 22:13:03 +0100 Subject: [PATCH] Properly JSON encode null character as \u0000 . --- library/text/encoder/src/json_encoder.e | 1 + 1 file changed, 1 insertion(+) diff --git a/library/text/encoder/src/json_encoder.e b/library/text/encoder/src/json_encoder.e index 84909edd..2e06a4f9 100644 --- a/library/text/encoder/src/json_encoder.e +++ b/library/text/encoder/src/json_encoder.e @@ -48,6 +48,7 @@ feature -- Encoder if uc.is_character_8 then c := uc.to_character_8 inspect c + when '%U' then Result.append_string ("\u0000") when '%"' then Result.append_string ("\%"") when '\' then Result.append_string ("\\") when '%B' then Result.append_string ("\b")