Fix Workload Manager for older versions of gcc.

diff --git a/src/workloadmanager/WorkloadManager.cxx b/src/workloadmanager/WorkloadManager.cxx
index 716bed0c76811217f5392004c3a8e4c88819c82a..d0ac55609844338209b263123c1122551828b85f 100644 (file)
--- a/src/workloadmanager/WorkloadManager.cxx
+++ b/src/workloadmanager/WorkloadManager.cxx
@@ -59,11 +59,11 @@ namespace WorkloadManager
       std::unique_lock<std::mutex> lock(_data_mutex);
       _stop = false;
     }
-    _otherThreads.emplace_back(std::async([this]
+    _otherThreads.emplace_back(std::async(std::launch::async, [this]
       {
         runTasks();
       }));
-    _otherThreads.emplace_back(std::async([this]
+    _otherThreads.emplace_back(std::async(std::launch::async, [this]
       {
         endTasks();
       }));
@@ -91,7 +91,7 @@ namespace WorkloadManager
       RunningInfo taskInfo;
       while(chooseTaskToRun(taskInfo))
       {
-        _runningTasks.emplace(taskInfo.id, std::async([this, taskInfo]
+        _runningTasks.emplace(taskInfo.id, std::async(std::launch::async, [this, taskInfo]
           {
             runOneTask(taskInfo);
           }));