catch ValueError("I/O operation on closed file.") if frontend crashes (#4150)

This commit is contained in:
benedikt-bartscher 2024-10-10 21:18:57 +02:00 committed by GitHub
parent 8ec3cf6157
commit 1aed39a848
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -394,9 +394,14 @@ class AppHarness:
def consume_frontend_output():
while True:
line = (
self.frontend_process.stdout.readline() # pyright: ignore [reportOptionalMemberAccess]
)
try:
line = (
self.frontend_process.stdout.readline() # pyright: ignore [reportOptionalMemberAccess]
)
# catch I/O operation on closed file.
except ValueError as e:
print(e)
break
if not line:
break
print(line)