Check terminal websocket before removing it

jupyter-server · Apr 29, 2024 · dd2880d · dd2880d
1 parent 17670ff
commit dd2880d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)