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 | 690c2c756489008f4b430708423b4ca3f2c7f903 (patch) | |
| tree | 746072dc4ac67332e2bc1934f9944587387f2059 /continuedev | |
| parent | f509a2b30d8bee581d1bfd91586acc54e9209599 (diff) | |
| download | sncontinue-690c2c756489008f4b430708423b4ca3f2c7f903.tar.gz sncontinue-690c2c756489008f4b430708423b4ca3f2c7f903.tar.bz2 sncontinue-690c2c756489008f4b430708423b4ca3f2c7f903.zip | |
session start and end telemetry
Diffstat (limited to 'continuedev')
| -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) |