From 07ad593515c0792a247dca43888062cf53ed30d3 Mon Sep 17 00:00:00 2001
From: Alessandro Piras <laynor@gmail.com>
Date: Mon, 4 Jul 2022 18:15:16 +0900
Subject: [PATCH] Flush terminal output when terminating.

---
 src/flutter-pi.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/flutter-pi.c b/src/flutter-pi.c
index 128fe2db..3d844bd2 100644
--- a/src/flutter-pi.c
+++ b/src/flutter-pi.c
@@ -56,6 +56,7 @@
 #include <plugins/text_input.h>
 #include <plugins/raw_keyboard.h>
 
+#include <termios.h>
 #ifdef ENABLE_MTRACE
 #   include <mcheck.h>
 #endif
@@ -2510,5 +2511,6 @@ int main(int argc, char **argv) {
 
     deinit();
 
+    tcflush(STDIN_FILENO, TCIOFLUSH);
     return EXIT_SUCCESS;
 }