Not raise if the process is already ended (v6d-io#242)

goodoid · Apr 7, 2021 · fc6aade · fc6aade
1 parent d179fb3
commit fc6aade
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/python/vineyard/launcher/script.py b/python/vineyard/launcher/script.py
@@ -139,7 +139,10 @@ def join(self):
 
  def dispose(self, desired=True):
  if self._status == LauncherStatus.RUNNING:
- self._proc.terminate()
+ try:
+ self._proc.terminate()
+ except ProcessLookupError:
+ pass
  if desired:
  self._status = LauncherStatus.FAILED
  else: