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 /src/irmd | |
| 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 'src/irmd')
0 files changed, 0 insertions, 0 deletions