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
Gracefully handle interruptions by the user #117
Labels
feature
Suggestions for new features or improvements on existing ones.
help wanted
Issues that anyone could start working on. An invitation to the community.
Comments
aronisstav
added
the
feature
Suggestions for new features or improvements on existing ones.
label
Dec 12, 2016
aronisstav
changed the title
Handle interruptions by users
Handle interruptions by the user
Dec 12, 2016
aronisstav
changed the title
Handle interruptions by the user
Gracefully handle interruptions by the user
May 15, 2018
aronisstav
added
the
help wanted
Issues that anyone could start working on. An invitation to the community.
label
Jul 7, 2018
Or just turn the right parts of Concuerror into an application. |
I am removing the milestone as I cannot find any easy way to do this for the time being and I'd rather have a version 1.0.0 than wait for it. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
feature
Suggestions for new features or improvements on existing ones.
help wanted
Issues that anyone could start working on. An invitation to the community.
It should be possible to "kill" the tool (e.g. via an OS signal) and still get some meaningful info about the state of exploration.
The text was updated successfully, but these errors were encountered: