2016-12-21 18:53:12 -08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2017-02-27 12:24:07 -08:00
|
|
|
killall global_scheduler plasma_store plasma_manager local_scheduler
|
2017-01-19 20:27:46 -08:00
|
|
|
|
2017-03-02 19:51:20 -08:00
|
|
|
# Find the PID of the monitor process and kill it.
|
|
|
|
kill $(ps aux | grep monitor.py | awk '{ print $2 }') 2> /dev/null
|
|
|
|
|
2017-01-19 20:27:46 -08:00
|
|
|
# Find the PID of the Redis process and kill it.
|
|
|
|
kill $(ps aux | grep redis-server | awk '{ print $2 }') 2> /dev/null
|
|
|
|
|
|
|
|
# Find the PIDs of the worker processes and kill them.
|
|
|
|
kill $(ps aux | grep default_worker.py | awk '{ print $2 }') 2> /dev/null
|
2017-02-12 15:17:58 -08:00
|
|
|
|
|
|
|
# Kill the processes related to the web UI.
|
|
|
|
killall polymer
|
|
|
|
|
|
|
|
# Find the PID of the Ray UI backend process and kill it.
|
|
|
|
kill $(ps aux | grep ray_ui.py | awk '{ print $2 }') 2> /dev/null
|