comparison mercurial/commandserver.py @ 33506:8a1a7935c047

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.
author Jun Wu <quark@fb.com>
date Sun, 16 Jul 2017 04:39:32 -0700
parents 27d23fe32887
children 3ef3bf704e47
comparison
equal deleted inserted replaced
33505:389536aff376 33506:8a1a7935c047
517 except: # never return, hence no re-raises 517 except: # never return, hence no re-raises
518 try: 518 try:
519 self.ui.traceback(force=True) 519 self.ui.traceback(force=True)
520 finally: 520 finally:
521 os._exit(255) 521 os._exit(255)
522 selector.close()
522 523
523 def _sigchldhandler(self, signal, frame): 524 def _sigchldhandler(self, signal, frame):
524 self._reapworkers(os.WNOHANG) 525 self._reapworkers(os.WNOHANG)
525 526
526 def _reapworkers(self, options): 527 def _reapworkers(self, options):