From 767c92fa2e6d34afea1f5c7a2ce504e661415fb8 Mon Sep 17 00:00:00 2001 From: Piyush Jain Date: Thu, 13 Nov 2025 21:02:57 -0800 Subject: [PATCH] Fixes server error when deleted rooms are saved at shutdown --- jupyter_server_documents/rooms/yroom.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/jupyter_server_documents/rooms/yroom.py b/jupyter_server_documents/rooms/yroom.py index 90271ef..7c99ec7 100644 --- a/jupyter_server_documents/rooms/yroom.py +++ b/jupyter_server_documents/rooms/yroom.py @@ -866,6 +866,9 @@ def stop(self, close_code: int = 1001, immediately: bool = False) -> None: IMPORTANT: If the server is shutting down, the YRoomManager should call `await room.until_saved`. See `until_saved` documentation for more info. """ + if self._stopped: + return + self.log.info(f"Stopping YRoom '{self.room_id}'.") # Disconnect all clients with the given close code