From 15ff6a17c6687e137bd5775e3a342618808f3bc6 Mon Sep 17 00:00:00 2001 From: break27 Date: Wed, 10 Sep 2025 20:02:39 +0800 Subject: [PATCH] minor fix --- index.html | 2 +- main.py | 7 ++----- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 37aadb3..993b72b 100644 --- a/index.html +++ b/index.html @@ -616,4 +616,4 @@ label { transform: rotate(360deg); } } - + \ No newline at end of file diff --git a/main.py b/main.py index e372274..75c1d43 100644 --- a/main.py +++ b/main.py @@ -541,7 +541,7 @@ async def handler(request: ws.WebSocketRequest): message = await connection.get_message() inbox.put(message) except Exception as e: - tell('Receiver', e, level=0) + inbox.shutdown(immediate=True) break async def sender(): @@ -550,16 +550,13 @@ async def handler(request: ws.WebSocketRequest): message = await trio.to_thread.run_sync(outbox.get) await connection.send_message(str(message)) except Exception as e: - tell('Sender', e, level=0) + outbox.shutdown(immediate=True) break async with trio.open_nursery() as nursery: nursery.start_soon(receiver) nursery.start_soon(sender) - outbox.shutdown(immediate=True) - inbox.shutdown(immediate=True) - async def backend(listen='127.0.0.1', port=0): global server listeners = await trio.open_tcp_listeners(port, host=listen)