[Dashboard] Change default port from 8080 to 8265 (#6503)

* [Dashboard] Change default port from 8080 to 8265

* Revise order of imports in pip install setup command
This commit is contained in:
Mitchell Stern
2019-12-16 14:25:23 -08:00
committed by Simon Mo
parent b1e83d83d1
commit b7d23405fe
4 changed files with 4 additions and 4 deletions
+1 -1
View File
@@ -1040,7 +1040,7 @@ def start_dashboard(host,
Returns:
ProcessInfo for the process that was started.
"""
port = 8080
port = 8265 # Note: list(map(ord, "RAY")) == [82, 65, 89]
while True:
try:
port_test_socket = socket.socket()