fearlessTobi 252014475b web_sevice: Replace std::launch::deferred with std::launch::async
In not every case, we were actually performing a get() on the result of the web_backend operation. Instead we waited for the function that got passed as parameter to be executed and would then perform a get() in it. With std::launch::deferred this would never happen, cause the passed function would never get executed.
2018-09-02 17:50:19 +02:00
..
2018-08-12 17:55:15 -05:00