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 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() |