mercurial/worker.py
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():