diff mercurial/worker.py @ 49317:d54b213c4380

py3: catch ProcessLookupError instead of checking errno == ESRCH
author Manuel Jacob <me@manueljacob.de>
date Tue, 31 May 2022 23:45:33 +0200
parents dfdf85f37215
children 3556f0392808
line wrap: on
line diff
--- 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():