diff options
Diffstat (limited to 'pager.py')
| -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() |
