Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

default errors from server should be connection related only #701

Merged
merged 15 commits into from
Nov 21, 2023

Conversation

stevejpurves
Copy link
Collaborator

@stevejpurves stevejpurves commented Nov 20, 2023

  • filter out execute related error events
  • report all connection errors through this channel
  • binder connect failures picked up
  • report kernel/session start errors through this channel
  • report disconnects through this channel
  • update react demo to show processing different updates & errors

@stevejpurves stevejpurves self-assigned this Nov 20, 2023
@stevejpurves stevejpurves added the thebe-react Applies to the thebe-react package label Nov 20, 2023
Copy link
Contributor

github-actions bot commented Nov 20, 2023

PR Preview Action v1.4.4
Preview removed because the pull request was closed.
2023-11-21 15:51 UTC

@stevejpurves
Copy link
Collaborator Author

made numerous changes to surface errors and statuses that should allow consuming apps to better manage failures. Updated the react demo app with some scrappy example components showing how they might be applied.

image

@stevejpurves stevejpurves marked this pull request as ready for review November 21, 2023 15:20
@stevejpurves stevejpurves merged commit 26a8fb8 into main Nov 21, 2023
4 checks passed
@stevejpurves stevejpurves deleted the feat/connect-errors branch November 21, 2023 15:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
thebe-react Applies to the thebe-react package
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant