Flush the logfile reasonably frequently in `printable output only' and

[sgt/putty] / terminal.c

diff --git a/terminal.c b/terminal.c
index bf531ee..00fd7c8 100644 (file)
--- a/terminal.c
+++ b/terminal.c
@@ -3311,6 +3311,7 @@ void term_out(Terminal *term)
     }
 
     term_print_flush(term);
+    logflush(term->logctx);
 }
 
 #if 0