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

Check emergency stop #362

Merged
merged 5 commits into from
Feb 13, 2015
Merged

Check emergency stop #362

merged 5 commits into from
Feb 13, 2015

Conversation

tfarago
Copy link
Contributor

@tfarago tfarago commented Feb 13, 2015

This is going to be useful when an actual damage can be done and there are mechanisms preventing that. If those mechanisms are exposed to Concert we can react accordingly.

@tfarago tfarago added this to the Concert 0.11 milestone Feb 13, 2015
@tfarago tfarago force-pushed the check-emergency-stop branch 2 times, most recently from 8268971 to 47861c7 Compare February 13, 2015 11:55
@tfarago tfarago added ready and removed in progress labels Feb 13, 2015
@tfarago
Copy link
Contributor Author

tfarago commented Feb 13, 2015

If @matze doesn't know any better way than os.abort() then I can S & M. BTW your remarks are implemented already.

@MarcusZuber
Copy link
Member

👍
I tested it in the lab and it seems to work as expected (and requested by Thomas).

@matze
Copy link
Contributor

matze commented Feb 13, 2015

No, I don't know any better 👍

tfarago added a commit that referenced this pull request Feb 13, 2015
@tfarago tfarago merged commit 7a94738 into master Feb 13, 2015
@matze matze removed the ready label Feb 13, 2015
@tfarago tfarago deleted the check-emergency-stop branch February 13, 2015 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants