1
0
mirror of https://github.com/danog/parallel.git synced 2024-11-26 20:34:40 +01:00
parallel/lib
Niklas Keller 7e1ef80d80 Use kill() instead of shutdown() in DefaultPool::__destruct
This prevents a watcher being activated on __destruct().
2018-07-29 18:12:51 +02:00
..
Context Fix code style 2018-07-26 20:12:30 +02:00
Sync Fix code style 2018-07-26 20:12:30 +02:00
Worker Use kill() instead of shutdown() in DefaultPool::__destruct 2018-07-29 18:12:51 +02:00