# HG changeset patch
# User Yuya Nishihara <yuya@tcha.org>
# Date 1532003784 -32400
# Node ID c08ea1e219c087bb78961925b0fdd07c6566a1c0
# Parent  7acec9408e1c4bc858177284ea1ed24ba5e1612e
worker: call selector.close() to release polling resources

diff -r 7acec9408e1c -r c08ea1e219c0 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: