From dd2880df886745afa3495a072d6e24ea231b2d60 Mon Sep 17 00:00:00 2001 From: David Brochart Date: Mon, 29 Apr 2024 10:08:48 +0200 Subject: [PATCH] Check terminal websocket before removing it --- plugins/terminals/fps_terminals/server.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/terminals/fps_terminals/server.py b/plugins/terminals/fps_terminals/server.py index c086f8c6..b63c4f1a 100644 --- a/plugins/terminals/fps_terminals/server.py +++ b/plugins/terminals/fps_terminals/server.py @@ -70,6 +70,7 @@ async def send_data(self): await websocket.send_json(["stdout", self.data_or_disconnect]) def quit(self, websocket): - self.websockets.remove(websocket) + if websocket in self.weksockets: + self.websockets.remove(websocket) if not self.websockets: os.close(self.fd)