diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-02-03 15:27:19 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-02-03 17:42:44 +0000 |
commit | 5868a7eb27b232ed1261c4638978309e9cfcd871 (patch) | |
tree | f066ad950b4cf9a04a33edb66185fc42d4b91e6e /distbuild/helper_router.py | |
parent | edf5232690a648b715a2649f37393c0565bc127f (diff) | |
download | morph-5868a7eb27b232ed1261c4638978309e9cfcd871.tar.gz |
distbuild: Be more robust when a worker disconnects
The logic to handle a worker disconnecting was broken. The
WorkerConnection object would remove itself from the main loop as soon
as the worker disconnected. But it would not get removed from the list
of available workers that the WorkerBuildQueue maintains. So the
controller would continue sending messages to this dead connection, and
the builds it sent would hang forever for a response.
Diffstat (limited to 'distbuild/helper_router.py')
0 files changed, 0 insertions, 0 deletions