Files
Sönke Holz f5cbee83cc RequestServer: Manually destroy the thread pool before exit
The ThreadPool destructor joins all threads. Therefore, this
destructor should be called before the destructors of all static
variables that are used in those threads.
2025-08-14 17:41:06 +02:00
..