comparison contrib/all-revsets.txt @ 30411:47de34f79f93

worker: wait worker pid explicitly Before this patch, waitforworkers uses os.wait() to collect child workers, and only wait len(pids) processes. This can have serious issues if other code spawns new processes and does not reap them: 1. worker.py may get wrong exit code and kill innocent workers. 2. worker.py may continue without waiting for all workers to complete. This patch fixes the issue by using waitpid to wait worker pid explicitly. However, this patch introduces a new issue: worker failure may not be handled immediately. The issue will be addressed in next patches.
author Jun Wu <quark@fb.com>
date Thu, 28 Jul 2016 20:51:20 +0100
parents 318a24b52eeb
children 5957fdd1d5f0
comparison
equal deleted inserted replaced
30410:7a5d6e2fd2d5 30411:47de34f79f93