changeset 49317 | d54b213c4380 |
parent 49311 | dfdf85f37215 |
child 49537 | 3556f0392808 |
--- a/mercurial/worker.py Tue May 31 23:41:15 2022 +0200 +++ b/mercurial/worker.py Tue May 31 23:45:33 2022 +0200 @@ -6,7 +6,6 @@ # GNU General Public License version 2 or any later version. -import errno import os import pickle import selectors @@ -177,9 +176,8 @@ for p in pids: try: os.kill(p, signal.SIGTERM) - except OSError as err: - if err.errno != errno.ESRCH: - raise + except ProcessLookupError: + pass def waitforworkers(blocking=True): for pid in pids.copy():