diff options
author | Christopher Baines <mail@cbaines.net> | 2023-05-02 15:10:05 +0200 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2023-05-02 15:10:05 +0200 |
commit | 5a17584c6a0dcf2fb05817c53ed005b6ee5b5306 (patch) | |
tree | a3e2cd4d4055a2b8ae5dbd69bfb8ea595ce25359 /scripts | |
parent | 7ef920a7616bb6703e59bf67e88e8da4b0c40670 (diff) | |
download | build-coordinator-5a17584c6a0dcf2fb05817c53ed005b6ee5b5306.tar build-coordinator-5a17584c6a0dcf2fb05817c53ed005b6ee5b5306.tar.gz |
Add a timeout for using the worker threads
Otherwise operations can build up while the thread pool is busy, and this'll
hopefully make it clearer when there are issues with the thread pools.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions