Johan Wikman 016ed89b3e Move worker thread management to worker
The worker threads are now started by the workers themselves.
2017-04-20 13:51:16 +03:00
..
2017-04-20 13:51:16 +03:00
2017-02-14 21:42:28 +02:00
2017-01-16 10:56:33 +02:00