You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When one of the calls to the trace server returns with an error, the theia frontend should handle it properly, either by doing the appropriate actions to fix it (post again, re-post the trace, etc), or add the error to the status bar at the bottom so the user can see why an output is not shown or what he expected did not happen.
The frontend should also handle when the trace server is not online
The text was updated successfully, but these errors were encountered:
When one of the calls to the trace server returns with an error, the theia frontend should handle it properly, either by doing the appropriate actions to fix it (post again, re-post the trace, etc), or add the error to the status bar at the bottom so the user can see why an output is not shown or what he expected did not happen.
The frontend should also handle when the trace server is not online
The text was updated successfully, but these errors were encountered: