Rename redis-port to port and add default (#8406)

This commit is contained in:
Max Fitton
2020-05-18 13:25:34 -05:00
committed by GitHub
parent 2cff471d2c
commit 13231ba63b
21 changed files with 52 additions and 36 deletions
+4 -3
View File
@@ -873,8 +873,9 @@ def _start_redis_instance(executable,
Notes:
If "port" is not None, then we will only use this port and try
only once. Otherwise, random ports will be used and the maximum
retries count is "num_retries".
only once. Otherwise, we will first try the default redis port,
and if it is unavailable, we will try random ports with
maximum retries of "num_retries".
Args:
executable (str): Full path of the redis-server executable.
@@ -912,7 +913,7 @@ def _start_redis_instance(executable,
# This ensures that we will use the given port.
num_retries = 1
else:
port = new_port()
port = ray_constants.DEFAULT_PORT
load_module_args = []
for module in modules: