help wanted
Repository metrics
- Stars
- (26,755 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
Currently you have to hold Control-C for several seconds until all the threads are killed.
Currently you have to hold Control-C for several seconds until all the threads are killed.