diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2022-07-23 19:12:41 +0200 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2022-07-25 15:39:50 +0200 |
| commit | c7255388e185e9f6d4363fc6d6c5cce17e944ba1 (patch) | |
| tree | d3282417fee337123b08671032be60c04b0f1e9b /servers/text | |
| parent | 3bd74cd67bfc5484b3f5d4b47da66c55457474c7 (diff) | |
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.
Diffstat (limited to 'servers/text')
0 files changed, 0 insertions, 0 deletions