From c9f5f2c3e75091ff3c56cac3d9d73753aff7b8b2 Mon Sep 17 00:00:00 2001
From: jamiepine <32987599+jamiepine@users.noreply.github.com>
Date: Sat, 3 Oct 2026 09:32:36 +0000
Subject: [PATCH] fix(server): route writelines through the pipe-safe write

writelines() was forwarded straight to the wrapped stream by __getattr__,
so it could still raise BrokenPipeError after the app's pipe closed.
---
 backend/server.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/backend/server.py b/backend/server.py
index f1c8ab43..3ee5c5bc 100644
--- a/backend/server.py
+++ b/backend/server.py
@@ -47,6 +47,10 @@ class _PipeSafeStream:
             self._stream = open(os.devnull, 'w')
             return len(s)
 
+    def writelines(self, lines):
+        for line in lines:
+            self.write(line)
+
     def flush(self):
         try:
             self._stream.flush()