Sönke Ludwig d2146e3881 Fix shutdown of the worker thread pool. ... Shuts down the pool before terminating the threads to avoid accessing an event thread waiter slot that is not associated with a valid eventcore driver anymore.		2018-02-22 20:10:08 +01:00
..
vibe	Fix shutdown of the worker thread pool.	2018-02-22 20:10:08 +01:00