worker: call selector.close() to release polling resources stable
authorYuya Nishihara <yuya@tcha.org>
Thu, 19 Jul 2018 21:36:24 +0900
branchstable
changeset 38740 c08ea1e219c0
parent 38739 7acec9408e1c
child 38741 e90130af47ce
worker: call selector.close() to release polling resources
mercurial/worker.py
--- a/mercurial/worker.py	Thu Jul 19 13:55:54 2018 -0400
+++ b/mercurial/worker.py	Thu Jul 19 21:36:24 2018 +0900
@@ -212,6 +212,7 @@
         signal.signal(signal.SIGINT, oldhandler)
         waitforworkers()
         signal.signal(signal.SIGCHLD, oldchldhandler)
+        selector.close()
         status = problem[0]
         if status:
             if status < 0: