From edc9b2f5105bc70e2115bc497b93c2e21c7a5e8c Mon Sep 17 00:00:00 2001
From: mantaohuang <mantao@mit.edu>
Date: Sun, 2 Aug 2020 00:57:43 -0400
Subject: [PATCH] not killing when pid is not assigned

---
 process_manager.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/process_manager.py b/process_manager.py
index 09d3bba..7d0ff46 100644
--- a/process_manager.py
+++ b/process_manager.py
@@ -109,8 +109,6 @@ class ProcessManager:
                 os.kill(self.pid, signal.SIGINT)
             except Exception as err:
                 logging.warning(f"kill failed: {err}")
-
-        self.task.cancel()
         self.pid = 0
         self.task = None