Closed joshbarrass closed 6 years ago
…g whether or not the thread has died or not a lot easier.
This PR is outdated -- submitting a new one
…g whether or not the thread has died or not a lot easier.