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 | 1a647a7321a31d7ccf29f27e56c3df0828c3e9c8 (patch) | |
| tree | 3e20e038d06449d6dff677566e1bdf6ed148eb96 /continuedev/src/continuedev/server | |
| parent | 062b0872797fb4734ed36ea3a14f653dc685a86a (diff) | |
| parent | d0dc7811eb71d9d53055a1aa684827502748b794 (diff) | |
| download | sncontinue-1a647a7321a31d7ccf29f27e56c3df0828c3e9c8.tar.gz sncontinue-1a647a7321a31d7ccf29f27e56c3df0828c3e9c8.tar.bz2 sncontinue-1a647a7321a31d7ccf29f27e56c3df0828c3e9c8.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) |