Sönke Ludwig f5f64ee476 Use a single thread pool for all threaded file driver threads. ... This avoids multiplying the number of threads by 5 for each thread that performs file I/O.		2018-03-11 14:46:55 +01:00
..
eventcore	Use a single thread pool for all threaded file driver threads.	2018-03-11 14:46:55 +01:00