summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--pager.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/pager.py b/pager.py
index 221baf3c..64090488 100644
--- a/pager.py
+++ b/pager.py
@@ -35,7 +35,7 @@ def RunPager(globalConfig):
35 return 35 return
36 36
37 if platform_utils.isWindows(): 37 if platform_utils.isWindows():
38 _PipePager(pager); 38 _PipePager(pager)
39 else: 39 else:
40 _ForkPager(pager) 40 _ForkPager(pager)
41 41
@@ -45,7 +45,7 @@ def TerminatePager():
45 sys.stdout.flush() 45 sys.stdout.flush()
46 sys.stderr.flush() 46 sys.stderr.flush()
47 pager_process.stdin.close() 47 pager_process.stdin.close()
48 pager_process.wait(); 48 pager_process.wait()
49 pager_process = None 49 pager_process = None
50 # Restore initial stdout/err in case there is more output in this process 50 # Restore initial stdout/err in case there is more output in this process
51 # after shutting down the pager process 51 # after shutting down the pager process