wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-07-10 05:55:05 +08:00
Code Issues Packages Projects Releases Wiki Activity

Kills gdb processes with ray stop (#4046)

Browse Source
This commit is contained in:
William Ma
2019-02-21 11:28:26 -08:00
committed by Robert Nishihara
parent c7a4c74f55
commit fedad488d8
1 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ray/scripts/scripts.py
+22 -1
View File
@@ -378,8 +378,29 @@ def start(node_ip_address, redis_address, redis_port, num_redis_shards,
@cli.command()
def stop():
# Find the PID of the plasma_store_server process and kill it.
subprocess.call(
["killall plasma_store_server raylet raylet_monitor"], shell=True)
[
"kill $(ps aux | grep plasma_store_server | grep -v grep | "
"awk '{ print $2 }') 2> /dev/null"
],
shell=True)
# Find the PID of the raylet process and kill it.
subprocess.call(
[
"kill $(ps aux | grep raylet | grep -v grep | "
"awk '{ print $2 }') 2> /dev/null"
],
shell=True)
# Find the PID of the raylet_monitor process and kill it.
subprocess.call(
[
"kill $(ps aux | grep raylet_monitor | grep -v grep | "
"awk '{ print $2 }') 2> /dev/null"
],
shell=True)
# Find the PID of the monitor process and kill it.
subprocess.call(