diff options
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -55,7 +55,7 @@ from error import NoSuchProjectError | |||
55 | from error import RepoChangedException | 55 | from error import RepoChangedException |
56 | import gitc_utils | 56 | import gitc_utils |
57 | from manifest_xml import GitcManifest, XmlManifest | 57 | from manifest_xml import GitcManifest, XmlManifest |
58 | from pager import RunPager | 58 | from pager import RunPager, TerminatePager |
59 | from wrapper import WrapperPath, Wrapper | 59 | from wrapper import WrapperPath, Wrapper |
60 | 60 | ||
61 | from subcmds import all_commands | 61 | from subcmds import all_commands |
@@ -542,6 +542,7 @@ def _Main(argv): | |||
542 | print('fatal: %s' % e, file=sys.stderr) | 542 | print('fatal: %s' % e, file=sys.stderr) |
543 | result = 128 | 543 | result = 128 |
544 | 544 | ||
545 | TerminatePager() | ||
545 | sys.exit(result) | 546 | sys.exit(result) |
546 | 547 | ||
547 | if __name__ == '__main__': | 548 | if __name__ == '__main__': |