diff options
| author | Nate Sesti <33237525+sestinj@users.noreply.github.com> | 2023-07-11 15:14:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-11 15:14:53 -0700 |
| commit | 9adfb8bf5b9f44be82488e37bc32cbd9a8817b53 (patch) | |
| tree | 8399d02483267ec024034a923475bd6eaf397154 /continuedev/src/continuedev/server | |
| parent | 3f9e7a1fa59c4f684aef544436062f8825d77b31 (diff) | |
| parent | 9846f4769ff33a346d76e26ad730d19770fe7e02 (diff) | |
| download | sncontinue-9adfb8bf5b9f44be82488e37bc32cbd9a8817b53.tar.gz sncontinue-9adfb8bf5b9f44be82488e37bc32cbd9a8817b53.tar.bz2 sncontinue-9adfb8bf5b9f44be82488e37bc32cbd9a8817b53.zip | |
Merge pull request #237 from continuedev/bug-squashing
Bug squashing
Diffstat (limited to 'continuedev/src/continuedev/server')
| -rw-r--r-- | continuedev/src/continuedev/server/gui.py | 2 | ||||
| -rw-r--r-- | continuedev/src/continuedev/server/ide.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/continuedev/src/continuedev/server/gui.py b/continuedev/src/continuedev/server/gui.py index ae53be00..dbc063c8 100644 --- a/continuedev/src/continuedev/server/gui.py +++ b/continuedev/src/continuedev/server/gui.py @@ -189,7 +189,7 @@ async def websocket_endpoint(websocket: WebSocket, session: Session = Depends(we except Exception as e: print("ERROR in gui websocket: ", e) capture_event(session.autopilot.continue_sdk.ide.unique_id, "gui_error", { - "error_title": e.__str__() or e.__repr__(), "error_message": traceback.format_tb(e.__traceback__)}) + "error_title": e.__str__() or e.__repr__(), "error_message": '\n'.join(traceback.format_exception(e))}) raise e finally: print("Closing gui websocket") diff --git a/continuedev/src/continuedev/server/ide.py b/continuedev/src/continuedev/server/ide.py index 93996edd..782c2ba6 100644 --- a/continuedev/src/continuedev/server/ide.py +++ b/continuedev/src/continuedev/server/ide.py @@ -414,6 +414,6 @@ async def websocket_endpoint(websocket: WebSocket): except Exception as e: print("Error in ide websocket: ", e) capture_event(ideProtocolServer.unique_id, "gui_error", { - "error_title": e.__str__() or e.__repr__(), "error_message": traceback.format_tb(e.__traceback__)}) + "error_title": e.__str__() or e.__repr__(), "error_message": '\n'.join(traceback.format_exception(e))}) await websocket.close() raise e |