diff options
author | Dimitri Staessens <[email protected]> | 2020-03-16 17:47:02 +0100 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2020-03-20 10:42:52 +0100 |
commit | f5b97219d7e44569612a17e7b257f97b8f723d72 (patch) | |
tree | ebd13f34ea6b9c7ed33eed82f925207f35442d9a /src/tools/ocbr/ocbr.c | |
parent | 51d8f69fb152ae5a47151c2f132fd4263ec3d144 (diff) | |
download | ouroboros-f5b97219d7e44569612a17e7b257f97b8f723d72.tar.gz ouroboros-f5b97219d7e44569612a17e7b257f97b8f723d72.zip |
lib: Fix thread management in thread pool manager
The thread pool manager wasn't counting working threads when deciding
to create new ones, resulting in constant starting of new threads when
threads were busy.
Signed-off-by: Dimitri Staessens <[email protected]>
Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'src/tools/ocbr/ocbr.c')
0 files changed, 0 insertions, 0 deletions