android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-08 16:14:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Repo: improve error detection for new ssh connections"

Browse Source
This commit is contained in:
David Pursehouse 2016-09-20 08:06:12 +00:00 committed by Gerrit Code Review
commit 628456833a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
git_config.py
View File

@ -464,9 +464,13 @@ def _open_ssh(host, port=None):
% (host,port, str(e)), file=sys.stderr) % (host,port, str(e)), file=sys.stderr)
return False return False
time.sleep(1)
ssh_died = (p.poll() is not None)
if ssh_died:
return False
_master_processes.append(p) _master_processes.append(p)
_master_keys.add(key) _master_keys.add(key)
time.sleep(1)
return True return True
finally: finally:
_master_keys_lock.release() _master_keys_lock.release()