From 2b33d0dd71480050385ed97fe5eccc5238948881 Mon Sep 17 00:00:00 2001 From: nex Date: Tue, 7 Nov 2023 11:21:35 +0000 Subject: [PATCH] Catch more errors --- web/server.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web/server.py b/web/server.py index b6e6daf..d4715c7 100644 --- a/web/server.py +++ b/web/server.py @@ -12,6 +12,7 @@ import discord import httpx from config import guilds from fastapi import FastAPI, Header, HTTPException, Request +from websockets.exceptions import WebSocketException from fastapi.responses import HTMLResponse, JSONResponse, RedirectResponse from starlette.websockets import WebSocket, WebSocketDisconnect @@ -302,7 +303,7 @@ async def bridge_recv(ws: WebSocket, secret: str = Header(None)): try: await ws.send_json(data) - except WebSocketDisconnect: + except (WebSocketDisconnect, WebSocketException): break finally: queue.task_done()