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

Sleep longer when starting plasma manager in valgrind case to catch errors where port bind fails. (#934)

Browse Source
This commit is contained in:
Robert Nishihara
2017-09-05 20:58:12 -07:00
committed by Philipp Moritz
parent 7030ef366f
commit 853969225b
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ray/plasma/plasma.py
+4 -1
View File
@@ -136,7 +136,10 @@ def start_plasma_manager(store_name, redis_address,
# This sleep is critical. If the plasma_manager fails to start because
# the port is already in use, then we need it to fail within 0.1
# seconds.
time.sleep(0.1)
if use_valgrind:
time.sleep(1)
else:
time.sleep(0.1)
# See if the process has terminated
if process.poll() is None:
return plasma_manager_name, process, plasma_manager_port