Skip to content

Shut down threads robustly#58

Merged
komamitsu merged 1 commit intomasterfrom
improve_thread_shutdown
Jan 14, 2017
Merged

Shut down threads robustly#58
komamitsu merged 1 commit intomasterfrom
improve_thread_shutdown

Conversation

@komamitsu
Copy link
Owner

No description provided.

@coveralls
Copy link

Coverage Status

Coverage increased (+0.2%) to 87.594% when pulling dec2f8b on improve_thread_shutdown into e47de01 on master.

@komamitsu komamitsu force-pushed the improve_thread_shutdown branch from dec2f8b to cf15e80 Compare January 14, 2017 03:35
@coveralls
Copy link

Coverage Status

Coverage increased (+0.2%) to 87.594% when pulling cf15e80 on improve_thread_shutdown into 7ab7b54 on master.

@komamitsu komamitsu merged commit 6a9e8d2 into master Jan 14, 2017
@komamitsu komamitsu deleted the improve_thread_shutdown branch January 14, 2017 05:03
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