Kill a worker by PID.
(self, pid, sig)
| 1001 | os._exit(1) |
| 1002 | |
| 1003 | def kill_worker(self, pid, sig): |
| 1004 | """Kill a worker by PID.""" |
| 1005 | try: |
| 1006 | os.kill(pid, sig) |
| 1007 | except OSError as e: |
| 1008 | if e.errno == errno.ESRCH: |
| 1009 | self._cleanup_worker(pid) |
| 1010 | |
| 1011 | def _cleanup_worker(self, pid): |
| 1012 | """ |