Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Wait for sampling thread to exit #391

Merged
merged 3 commits into from
May 16, 2021
Merged

Wait for sampling thread to exit #391

merged 3 commits into from
May 16, 2021

Conversation

benfred
Copy link
Owner

@benfred benfred commented May 8, 2021

No description provided.

@benfred benfred changed the title First draft attempt to wait for sampling thread to exit Wait for sampling thread to exit May 16, 2021
@benfred benfred merged commit 1315f07 into master May 16, 2021
@benfred benfred deleted the thread_cleanup branch May 16, 2021 17:16
@Jongy Jongy mentioned this pull request May 19, 2021
8 tasks
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant