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

general core health status: KISS api #4687

Closed
wants to merge 1 commit into from
Closed

Conversation

d-a-v
Copy link
Collaborator

@d-a-v d-a-v commented Apr 26, 2018

This is a proposal, this is wip, a request for comment, the missing meditating guru.
We don't have exception but sometimes we would like to warn when the worst is known and about to happen.
This simple API can provide some valuable information to the user, so action can take place at his discretion.

@devyte
Copy link
Collaborator

devyte commented Apr 28, 2018

As discussed internally, let's pursue #4694 first. If we hit a wall there, we can revisit this.

@devyte
Copy link
Collaborator

devyte commented Dec 3, 2018

We now have C++ exception with #5376 . Closing.

@devyte devyte closed this Dec 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants