# HG changeset patch
# User Jun Wu <quark@fb.com>
# Date 1500205172 25200
# Node ID 8a1a7935c047aca68fcd2fe7c75a82e9a15abd26
# Parent  389536aff376d32d38f13305021c127245d4126a
commandserver: close selector explicitly

The selector does not have a __del__ method and needs a manual close. We can
also use "with selector" but that makes the code too indented. Therefore
append a "selector.close()" after the end of the main loop for now.

diff -r 389536aff376 -r 8a1a7935c047 mercurial/commandserver.py
--- a/mercurial/commandserver.py	Sat Jul 15 15:01:29 2017 +0900
+++ b/mercurial/commandserver.py	Sun Jul 16 04:39:32 2017 -0700
@@ -519,6 +519,7 @@
                         self.ui.traceback(force=True)
                     finally:
                         os._exit(255)
+        selector.close()
 
     def _sigchldhandler(self, signal, frame):
         self._reapworkers(os.WNOHANG)