Replace hostnames with numerical IP addresses in redis address. (#1177)

* Replace hostnames with numerical IP addresses in redis address.

* Also do conversion for node_ip_address. Add test.

* Simplifications.
This commit is contained in:
Robert Nishihara
2017-11-01 17:13:22 -07:00
committed by Philipp Moritz
parent 202e7bf19a
commit 3317d38278
4 changed files with 49 additions and 0 deletions
+6
View File
@@ -81,6 +81,12 @@ def start(node_ip_address, redis_address, redis_port, num_redis_shards,
# temporary fix. We should actually redirect stdout and stderr to Redis in
# some way.
# Convert hostnames to numerical IP address.
if node_ip_address is not None:
node_ip_address = services.address_to_ip(node_ip_address)
if redis_address is not None:
redis_address = services.address_to_ip(redis_address)
if head:
# Start Ray on the head node.
if redis_address is not None: