summaryrefslogtreecommitdiffstats
path: root/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'main.py')
-rwxr-xr-xmain.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/main.py b/main.py
index 6fa1e51b..774b9038 100755
--- a/main.py
+++ b/main.py
@@ -28,6 +28,7 @@ import re
28import sys 28import sys
29 29
30from trace import SetTrace 30from trace import SetTrace
31from git_config import close_ssh
31from command import InteractiveCommand 32from command import InteractiveCommand
32from command import MirrorSafeCommand 33from command import MirrorSafeCommand
33from command import PagedCommand 34from 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: