From 88948831536c656a1d8bb1a04c184b94820e8982 Mon Sep 17 00:00:00 2001
From: Philipp Moritz <pcmoritz@gmail.com>
Date: Thu, 8 Nov 2018 00:05:32 -0800
Subject: [PATCH] Force kill web UI in ray stop (#3257)

---
 python/ray/scripts/scripts.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/ray/scripts/scripts.py b/python/ray/scripts/scripts.py
index 8f4e391fb..f07c41636 100644
--- a/python/ray/scripts/scripts.py
+++ b/python/ray/scripts/scripts.py
@@ -419,7 +419,7 @@ def stop():
             if "/tmp/ray" in server["notebook_dir"]
         ]
         subprocess.call(
-            ["kill {} 2> /dev/null".format(" ".join(pids))], shell=True)
+            ["kill -9 {} 2> /dev/null".format(" ".join(pids))], shell=True)
     except ImportError:
         pass