diff options
| author | Ty Dunn <ty@tydunn.com> | 2023-07-17 15:31:10 -0500 |
|---|---|---|
| committer | Ty Dunn <ty@tydunn.com> | 2023-07-17 15:31:10 -0500 |
| commit | d1819268fb3f6fadbb763ef98cf306ed33add8fb (patch) | |
| tree | 2c8d2c7dde2b7e61c5c9d3f9bc5f51edf4ba071c | |
| parent | e5b15e38982300dd555006c010bf3e887bf4bd7a (diff) | |
| download | sncontinue-d1819268fb3f6fadbb763ef98cf306ed33add8fb.tar.gz sncontinue-d1819268fb3f6fadbb763ef98cf306ed33add8fb.tar.bz2 sncontinue-d1819268fb3f6fadbb763ef98cf306ed33add8fb.zip | |
session start and end telemetry
| -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) |