diff options
-rw-r--r-- | pager.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ def RunPager(globalConfig): | |||
40 | 40 | ||
41 | 41 | ||
42 | def TerminatePager(): | 42 | def TerminatePager(): |
43 | global pager_process, old_stdout, old_stderr | 43 | global pager_process |
44 | if pager_process: | 44 | if pager_process: |
45 | sys.stdout.flush() | 45 | sys.stdout.flush() |
46 | sys.stderr.flush() | 46 | sys.stderr.flush() |