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

Cleaning up a panic at exit #32

Merged
merged 1 commit into from
Nov 5, 2015
Merged

Cleaning up a panic at exit #32

merged 1 commit into from
Nov 5, 2015

Conversation

adamhjk
Copy link
Contributor

@adamhjk adamhjk commented Nov 5, 2015

I'm pretty sure we should be stopping all our actors before we exit,
just out of kindness (and hidden race conditions). But, I'm not sure
what went wrong, and this trades a race condition for a certain constant
panic. Lets fix it in post :)

Love,
Adam

I'm pretty sure we should be stopping all our actors before we exit,
just out of kindness (and hidden race conditions). But, I'm not sure
what went wrong, and this trades a race condition for a certain constant
panic. Lets fix it in post :)

Love,
Adam
@chef-delivery
Copy link
Contributor

This PR has passed 'Verify' and is ready for review and approval!
Use: '@delivery approve' when code review is complete.

@adamhjk
Copy link
Contributor Author

adamhjk commented Nov 5, 2015

@delivery approve

chef-delivery added a commit that referenced this pull request Nov 5, 2015
Merged change 96b87f85-2040-4a88-9cb6-c1fc490a852e

From review branch cleanup-exit-panic into master

Signed-off-by: adam <[email protected]>
@chef-delivery chef-delivery merged commit cd019b9 into master Nov 5, 2015
@chef-delivery
Copy link
Contributor

Change: 96b87f85-2040-4a88-9cb6-c1fc490a852e approved by: @adamhjk

@chef-delivery chef-delivery deleted the cleanup-exit-panic branch November 5, 2015 22:58
@chef-delivery
Copy link
Contributor

This PR has passed 'Acceptance' and is ready to be delivered!
Use: '@delivery deliver' when validated in acceptance.

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