diff options
author | Dimitri Staessens <[email protected]> | 2020-03-08 14:24:54 +0100 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2020-03-14 15:38:14 +0100 |
commit | 9fac3ad2a05c9025acdad6feae3932711dbcd561 (patch) | |
tree | 5e9cc92ecf060856c2b89d3d1042592bdedc2b93 /doc/man/fset.3 | |
parent | fe6b60909d455abdac7885ceaba1097749e7aeb1 (diff) | |
download | ouroboros-9fac3ad2a05c9025acdad6feae3932711dbcd561.tar.gz ouroboros-9fac3ad2a05c9025acdad6feae3932711dbcd561.zip |
lib: Fix deadlock in threadpool manager
There was a rare deadlock upon destruction of the threadpool manager
because the threads were cancelled/joined under lock.
Signed-off-by: Dimitri Staessens <[email protected]>
Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'doc/man/fset.3')
0 files changed, 0 insertions, 0 deletions