--- a/Core/JobsEngine/JobsEngine.cpp	Tue May 15 16:28:43 2018 +0200
+++ b/Core/JobsEngine/JobsEngine.cpp	Wed May 16 11:26:08 2018 +0200
@@ -226,7 +226,8 @@
 
     for (size_t i = 0; i < workers_.size(); i++)
     {
-      workers_[i] = boost::thread(Worker, this, i);
+      assert(workers_[i] == NULL);
+      workers_[i] = new boost::thread(Worker, this, i);
     }
 
     state_ = State_Running;
@@ -257,10 +258,14 @@
       
     for (size_t i = 0; i < workers_.size(); i++)
     {
-      if (workers_[i].joinable())
+      assert(workers_[i] != NULL);
+
+      if (workers_[i]->joinable())
       {
-        workers_[i].join();
+        workers_[i]->join();
       }
+
+      delete workers_[i];
     }
       
     {