Juan Linietsky c7255388e1 Remove ThreadWorkPool, replace by WorkerThreadPool ...

The former needs to be allocated once per usage. The later is shared for all threads, which is more efficient.
It can also be better debugged.

2022-07-25 15:39:50 +02:00

7.3 KiB

Raw Blame History

View Raw