Albin Vass d5bfbf53b6 Recover from broken process pools in merge operations ... Some merge operations catch too generic exceptions which causes BrokeProcessPool exceptions to never reach the executor to allow the executor to recover. Bubble these exceptions up to the exececutor for them to be handled. Change-Id: I77d4d381e12195bcfe7d831a2b9e6d361b90f5a2		2022-03-24 14:23:40 +01:00
..
__init__.py	Split the merger into a separate process	2014-02-17 11:47:15 -08:00
client.py	Report which repo failed initial merge ops	2022-02-20 13:06:39 -08:00
merger.py	Recover from broken process pools in merge operations	2022-03-24 14:23:40 +01:00
server.py	Report which repo failed initial merge ops	2022-02-20 13:06:39 -08:00