diff --git a/pager.py b/pager.py index 9a4da192..d295535c 100644 --- a/pager.py +++ b/pager.py @@ -40,7 +40,7 @@ def RunPager(globalConfig): def TerminatePager(): - global pager_process, old_stdout, old_stderr + global pager_process if pager_process: sys.stdout.flush() sys.stderr.flush()