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()