diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-07-17 13:33:29 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-07-17 13:33:29 -0700 |
| commit | 05d665e65aaef62254a4da9a7a381f9984ff0db5 (patch) | |
| tree | 9b5c08baa5c7c1da051e4109ae34fb8a141c2754 /continuedev/src/continuedev/server | |
| parent | 868e0b7ef5357b89186119c3c2fa8bd427b8db30 (diff) | |
| parent | 6e95cb64cd5b2e2d55200bf979106f18d395bb97 (diff) | |
| download | sncontinue-05d665e65aaef62254a4da9a7a381f9984ff0db5.tar.gz sncontinue-05d665e65aaef62254a4da9a7a381f9984ff0db5.tar.bz2 sncontinue-05d665e65aaef62254a4da9a7a381f9984ff0db5.zip | |
Merge branch 'main' of https://github.com/continuedev/continue into anthropic
Diffstat (limited to 'continuedev/src/continuedev/server')
| -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) |