terminal: printf() is not signal-safe

We shouldn't call it from a signal handler.

1 files changed, 1 insertions, 2 deletions

diff --git a/osdep/terminal-unix.c b/osdep/terminal-unix.c
index d0f40f3a4c..f43376b088 100644
--- a/osdep/terminal-unix.c
+++ b/osdep/terminal-unix.c
@@ -275,8 +275,7 @@ static void enable_kx(bool enable)
     // shouldn't be relied on here either.
     if (isatty(STDOUT_FILENO)) {
         char *cmd = enable ? "\033=" : "\033>";
-        printf("%s", cmd);
-        fflush(stdout);
+        write(STDOUT_FILENO, cmd, strlen(cmd));
     }
 }