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 | |
| parent | 2aa61d0bc827b1eaaf9865f1e1445386571e3f30 (diff) | |
| parent | 05dc46b0e3c008f9f83a576e59c74fd17735dfa9 (diff) | |
| download | git-repo-628456833a9be237c7373254fbe0771b2e802a88.tar.gz | |
Merge "Repo: improve error detection for new ssh connections"
| -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() |
