From e8595e9df7980b0b7d9111de43d294c4439d474c Mon Sep 17 00:00:00 2001 From: Renaud Paquay Date: Tue, 1 Nov 2016 15:51:59 -0700 Subject: Support pager on Windows Windows does not support pipe|fork, but we can simulate by creating the pager as a child process, redirecting stdout/in/err appropriately and then waiting for the child process to terminate after we are done executing the repo command. Change-Id: I5dd2bdeb4095e4d93bc678802e53c6d4eda0235b --- main.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'main.py') diff --git a/main.py b/main.py index 386b4f13..a6538c2a 100755 --- a/main.py +++ b/main.py @@ -55,7 +55,7 @@ from error import NoSuchProjectError from error import RepoChangedException import gitc_utils from manifest_xml import GitcManifest, XmlManifest -from pager import RunPager +from pager import RunPager, TerminatePager from wrapper import WrapperPath, Wrapper from subcmds import all_commands @@ -542,6 +542,7 @@ def _Main(argv): print('fatal: %s' % e, file=sys.stderr) result = 128 + TerminatePager() sys.exit(result) if __name__ == '__main__': -- cgit v1.2.3-54-g00ecf