Check terminal websocket before removing it

jupyter-server · Apr 29, 2024 · c9da7d7 · c9da7d7
1 parent a227372
commit c9da7d7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 10 deletions.
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)
diff --git a/pyproject.toml b/pyproject.toml
@@ -184,12 +184,3 @@ path = "jupyverse/__init__.py"
 
 [tool.pytest.ini_options]
 asyncio_mode = "strict"
-
-[tool.pixi.project]
-name = ""
-channels = ["conda-forge"]
-platforms = ["linux-64"]
-
-[tool.pixi.dependencies]
-pip = ">=24.0,<25"
-python = "<3.12"