From 8e6d77407e7830818b6f8a8acfba04b203ce311d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pier-Luc=20Th=C3=A9riault?= <pier-luc@sarkass.com>
Date: Fri, 26 Dec 2025 15:35:06 -0500
Subject: [PATCH] Use tty_write to write piped input to tty

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

diff --git a/src/tty.c b/src/tty.c
index efda859..1c486b5 100644
--- a/src/tty.c
+++ b/src/tty.c
@@ -2639,7 +2639,7 @@ int tty_connect(void)
             else if (ret > 0)
             {
                 // Forward to tty device
-                ret = write(device_fd, &input_char, 1);
+                ret = tty_write(device_fd, &input_char, 1);
                 if (ret < 0)
                 {
                     tio_error_printf("Could not write to serial device (%s)", strerror(errno));