diff options
-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) |