Simon Mo 4033d65e4f Fix redis-server stoping in linux (#6296) ...

* Cleanup test_calling_start_ray_head

* Kill redis-server with args instead of comm

In linux, ps -o pid,comm output just redis-server instead of the
full executable path

2019-11-29 22:50:05 -08:00

..

__init__.py

Enable starting and stopping ray with "ray start" and "ray stop". (#628)

2017-06-02 20:17:48 +00:00

scripts.py

Fix redis-server stoping in linux (#6296)

2019-11-29 22:50:05 -08:00