Sönke Ludwig 3dbdc90927 Fix shutdown when no worker tasks have been used.		2017-02-22 23:26:16 +01:00
..
vibe	Fix shutdown when no worker tasks have been used.	2017-02-22 23:26:16 +01:00