Make sure we flush output buffer to tty when piping to tio

This commit is contained in:
Martin Lund 2022-07-20 17:56:26 +02:00
parent a0a8dccd51
commit eadcc7e384

View file

@ -1160,7 +1160,8 @@ int tty_connect(void)
} }
else if (bytes_read == 0) else if (bytes_read == 0)
{ {
// Reached EOF (when piping to stdin) /* Reached EOF (when piping to stdin) */
tty_flush(fd);
exit(EXIT_SUCCESS); exit(EXIT_SUCCESS);
} }