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.

Sign up for GitHub

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

Jump to bottom

Gracefully handle interruptions by the user #117

Open
aronisstav opened this issue Dec 12, 2016 · 3 comments
Open

Gracefully handle interruptions by the user #117

aronisstav opened this issue Dec 12, 2016 · 3 comments
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
Copy link
Member

aronisstav commented Dec 12, 2016 •
edited
Loading

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.
@aronisstav aronisstav added the feature Suggestions for new features or improvements on existing ones. label Dec 12, 2016
@aronisstav aronisstav added this to the v1.0 milestone Dec 12, 2016
@aronisstav aronisstav changed the title Handle interruptions by users Handle interruptions by the user Dec 12, 2016
@aronisstav aronisstav changed the title Handle interruptions by the user Gracefully handle interruptions by the user May 15, 2018
@aronisstav
Copy link
Member Author

http://erlang.org/doc/man/kernel_app.html#erl_signal_server

@aronisstav aronisstav added the help wanted Issues that anyone could start working on. An invitation to the community. label Jul 7, 2018
@aronisstav
Copy link
Member Author

Or just turn the right parts of Concuerror into an application.

@aronisstav
Copy link
Member Author

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.

@aronisstav aronisstav removed this from the 1.0.0 milestone Jul 12, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
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.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@aronisstav