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

---
 process_manager.py | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/process_manager.py b/process_manager.py
index ea4c928..09d3bba 100644
--- a/process_manager.py
+++ b/process_manager.py
@@ -104,10 +104,11 @@ class ProcessManager:
             return
         self.state = ProcessManagerState.IDLE
         self.task.cancel()
-        try:
-            os.kill(self.pid, signal.SIGINT)
-        except Exception as err:
-            logging.warning(f"kill failed: {err}")
+        if self.pid:
+            try:
+                os.kill(self.pid, signal.SIGINT)
+            except Exception as err:
+                logging.warning(f"kill failed: {err}")
 
         self.task.cancel()
         self.pid = 0