diff options
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -28,6 +28,7 @@ import re | |||
28 | import sys | 28 | import sys |
29 | 29 | ||
30 | from trace import SetTrace | 30 | from trace import SetTrace |
31 | from git_config import close_ssh | ||
31 | from command import InteractiveCommand | 32 | from command import InteractiveCommand |
32 | from command import MirrorSafeCommand | 33 | from command import MirrorSafeCommand |
33 | from command import PagedCommand | 34 | from command import PagedCommand |
@@ -212,7 +213,10 @@ def _Main(argv): | |||
212 | 213 | ||
213 | repo = _Repo(opt.repodir) | 214 | repo = _Repo(opt.repodir) |
214 | try: | 215 | try: |
215 | repo._Run(argv) | 216 | try: |
217 | repo._Run(argv) | ||
218 | finally: | ||
219 | close_ssh() | ||
216 | except KeyboardInterrupt: | 220 | except KeyboardInterrupt: |
217 | sys.exit(1) | 221 | sys.exit(1) |
218 | except RepoChangedException, rce: | 222 | except RepoChangedException, rce: |