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 | 125a4980f3b9e2b27ca10c75f5914cd0559ff828 (patch) | |
| tree | 78895c399d3357c91b1975398e067e0c7fe9f2f5 /continuedev/src/continuedev/server | |
| parent | 3dc307bc9add75fba1f66c51218f0c32637e21fe (diff) | |
| parent | 64e9877d2929f36aa2af94708620d3f2247ebebb (diff) | |
| download | sncontinue-125a4980f3b9e2b27ca10c75f5914cd0559ff828.tar.gz sncontinue-125a4980f3b9e2b27ca10c75f5914cd0559ff828.tar.bz2 sncontinue-125a4980f3b9e2b27ca10c75f5914cd0559ff828.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 |