From 485941e8a836ef9c5b41d91604ca77eb1b7ddca5 Mon Sep 17 00:00:00 2001
From: Jordan Bancino <jordan@bancino.net>
Date: Tue, 6 Sep 2022 20:53:30 -0400
Subject: [PATCH] Fix bug in JsonEncodeString() where characters get printed to
 stdout.

Thanks @costava:matrix.org for pointing this one out.
---
 src/Json.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Json.c b/src/Json.c
index 85654c5..e02f08c 100644
--- a/src/Json.c
+++ b/src/Json.c
@@ -372,7 +372,7 @@ JsonEncodeString(const char *str, FILE * out)
                  */
                 if (c <= 0x001F)
                 {
-                    printf("\\u%04x", c);
+                    fprintf(out, "\\u%04x", c);
                 }
                 else
                 {