(self, pid, signal=None)
| 134 | self._pool.size -= n |
| 135 | |
| 136 | def terminate_job(self, pid, signal=None): |
| 137 | import gevent |
| 138 | |
| 139 | if pid in self._pool_map: |
| 140 | greenlet = self._pool_map[pid] |
| 141 | gevent.kill(greenlet) |
| 142 | |
| 143 | @property |
| 144 | def num_processes(self): |