This repository has been archived by the owner. It is now read-only.

#161 Fix awaiting termination before shutting down #162

Merged
merged 1 commit into from May 15, 2018

Conversation

Projects
None yet
1 participant
@AlexDBlack
Copy link
Member

AlexDBlack commented May 15, 2018

Fixes: #151
Fixes: #161

@AlexDBlack AlexDBlack merged commit d597a23 into master May 15, 2018

1 check was pending

continuous-integration/jenkins/pr-merge This commit is being built
Details

@AlexDBlack AlexDBlack deleted the ab_161_execution branch May 15, 2018

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.