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): return if platform_utils.isWindows(): - _PipePager(pager); + _PipePager(pager) else: _ForkPager(pager) @@ -45,7 +45,7 @@ def TerminatePager(): sys.stdout.flush() sys.stderr.flush() pager_process.stdin.close() - pager_process.wait(); + pager_process.wait() pager_process = None # Restore initial stdout/err in case there is more output in this process # after shutting down the pager process