diff options
| -rw-r--r-- | continuedev/src/continuedev/server/ide.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/continuedev/src/continuedev/server/ide.py b/continuedev/src/continuedev/server/ide.py index a91708ec..43538407 100644 --- a/continuedev/src/continuedev/server/ide.py +++ b/continuedev/src/continuedev/server/ide.py @@ -442,6 +442,7 @@ async def websocket_endpoint(websocket: WebSocket, session_id: str = None): if session_id is not None: session_manager.registered_ides[session_id] = ideProtocolServer other_msgs = await ideProtocolServer.initialize(session_id) + capture_event(ideProtocolServer.unique_id, "session_started", { "session_id": ideProtocolServer.session_id }) for other_msg in other_msgs: handle_msg(other_msg) @@ -462,4 +463,5 @@ async def websocket_endpoint(websocket: WebSocket, session_id: str = None): if websocket.client_state != WebSocketState.DISCONNECTED: await websocket.close() + capture_event(ideProtocolServer.unique_id, "session_ended", { "session_id": ideProtocolServer.session_id }) session_manager.registered_ides.pop(ideProtocolServer.session_id) |