[Dist] avoid busy ssh connection (#4096)

966d1aa8 · Rhett Ying · GitHub · abcc9cce · 966d1aa8
Unverified Commit 966d1aa8 authored Jun 09, 2022 by Rhett Ying Committed by GitHub Jun 09, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

tools/launch.py tools/launch.py +2 -0

No files found.
--- a/tools/launch.py
+++ b/tools/launch.py
@@ -111,6 +111,8 @@ def execute_remote(
    thread = Thread(target=run, args=(ssh_cmd,))
    thread.setDaemon(True)
    thread.start()
+    # sleep for a while in case of ssh is rejected by peer due to busy connection
+    time.sleep(0.2)
    return thread

 def get_remote_pids(ip, port, cmd_regex):