From a6ff2fc2747574e31fd673b021ad7157ddf126bb Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Wed, 23 Oct 2019 19:52:06 +0200 Subject: [PATCH] Push wafcache files synchronously for now --- waflib/Tools/wafcache.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/waflib/Tools/wafcache.py b/waflib/Tools/wafcache.py index f4053d6f..58ef270b 100644 --- a/waflib/Tools/wafcache.py +++ b/waflib/Tools/wafcache.py @@ -431,10 +431,8 @@ def loop(service): [sig, files_from, files_to] = cPickle.loads(base64.b64decode(txt)) if files_from: - # pushing to cache is done without any wait - th = threading.Thread(target=service.copy_to_cache, args=(sig, files_from, files_to)) - th.setDaemon(True) - th.start() + # TODO return early when pushing files upstream + ret = service.copy_from_cache(sig, files_from, files_to) elif files_to: # the build process waits for workers to (possibly) obtain files from the cache ret = service.copy_from_cache(sig, files_from, files_to)