From eadcc7e384ca9b66947d00beee99e4c6289c17ff Mon Sep 17 00:00:00 2001
From: Martin Lund <martin.lund@keep-it-simple.com>
Date: Wed, 20 Jul 2022 17:56:26 +0200
Subject: [PATCH] Make sure we flush output buffer to tty when piping to tio

---
 src/tty.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tty.c b/src/tty.c
index 7464d1b..0a17150 100644
--- a/src/tty.c
+++ b/src/tty.c
@@ -1160,7 +1160,8 @@ int tty_connect(void)
                 }
                 else if (bytes_read == 0)
                 {
-                    // Reached EOF (when piping to stdin)
+                    /* Reached EOF (when piping to stdin) */
+                    tty_flush(fd);
                     exit(EXIT_SUCCESS);
                 }