diff options
author | David Pursehouse <dpursehouse@collab.net> | 2016-09-20 08:06:12 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2016-09-20 08:06:12 +0000 |
commit | 628456833a9be237c7373254fbe0771b2e802a88 (patch) | |
tree | b4d840a6430972a2256644e3b47e1846a6e870d4 /git_config.py | |
parent | 2aa61d0bc827b1eaaf9865f1e1445386571e3f30 (diff) | |
parent | 05dc46b0e3c008f9f83a576e59c74fd17735dfa9 (diff) | |
download | git-repo-628456833a9be237c7373254fbe0771b2e802a88.tar.gz |
Merge "Repo: improve error detection for new ssh connections"
Diffstat (limited to 'git_config.py')
-rw-r--r-- | git_config.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/git_config.py b/git_config.py index 09c4b48f..f76cd04e 100644 --- a/git_config.py +++ b/git_config.py | |||
@@ -464,9 +464,13 @@ def _open_ssh(host, port=None): | |||
464 | % (host,port, str(e)), file=sys.stderr) | 464 | % (host,port, str(e)), file=sys.stderr) |
465 | return False | 465 | return False |
466 | 466 | ||
467 | time.sleep(1) | ||
468 | ssh_died = (p.poll() is not None) | ||
469 | if ssh_died: | ||
470 | return False | ||
471 | |||
467 | _master_processes.append(p) | 472 | _master_processes.append(p) |
468 | _master_keys.add(key) | 473 | _master_keys.add(key) |
469 | time.sleep(1) | ||
470 | return True | 474 | return True |
471 | finally: | 475 | finally: |
472 | _master_keys_lock.release() | 476 | _master_keys_lock.release() |