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__': |
