diff options
| -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 0379181a..3fc56b68 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() |
