mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-28 03:13:17 +08:00
Clean up zombie subprocesses, fixes #1048
This commit is contained in:
1 parent
5c1d979522
commit
378a5846db
1 file changed
+1
@@ -175,6 +175,7 @@ class _CompiledSubprocess(object):
|
|||||||
del _subprocesses[self._executable]
|
del _subprocesses[self._executable]
|
||||||
|
|
||||||
self._process.kill()
|
self._process.kill()
|
||||||
|
self._process.wait()
|
||||||
|
|
||||||
def _send(self, evaluator_id, function, args=(), kwargs={}):
|
def _send(self, evaluator_id, function, args=(), kwargs={}):
|
||||||
if self._crashed:
|
if self._crashed:
|
||||||
|
|||||||
Reference in new issue
Block a user