diff options
Diffstat (limited to 'git_config.py')
| -rw-r--r-- | git_config.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/git_config.py b/git_config.py index d33c3b12..36e8d939 100644 --- a/git_config.py +++ b/git_config.py | |||
| @@ -385,8 +385,11 @@ def _open_ssh(host, port): | |||
| 385 | 385 | ||
| 386 | def close_ssh(): | 386 | def close_ssh(): |
| 387 | for key,p in _ssh_cache.iteritems(): | 387 | for key,p in _ssh_cache.iteritems(): |
| 388 | os.kill(p.pid, SIGTERM) | 388 | try: |
| 389 | p.wait() | 389 | os.kill(p.pid, SIGTERM) |
| 390 | p.wait() | ||
| 391 | catch OSError: | ||
| 392 | pass | ||
| 390 | _ssh_cache.clear() | 393 | _ssh_cache.clear() |
| 391 | 394 | ||
| 392 | d = _ssh_sock(create=False) | 395 | d = _ssh_sock(create=False) |