Delete CRDT rooms when a workspace is deleted.

lynxkite-app/src/lynxkite_app/crdt.py

@@ -300,6 +300,11 @@ async def lifespan(app):
     print("closing websocket server")
 
 
+def delete_room(name: str):
+    if name in ws_websocket_server.rooms:
+        del ws_websocket_server.rooms[name]
+
+
 def sanitize_path(path):
     return os.path.relpath(os.path.normpath(os.path.join("/", path)), "/")
 

lynxkite-app/src/lynxkite_app/main.py

@@ -76,6 +76,7 @@ async def delete_workspace(req: dict):
     assert json_path.is_relative_to(data_path), f"Path '{json_path}' is invalid"
     json_path.unlink()
     crdt_path.unlink()
+    crdt.delete_room(req["path"])
 
 
 @app.get("/api/load")