diff options
-rwxr-xr-x | pager.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ def RunPager(globalConfig): | |||
50 | _BecomePager(pager) | 50 | _BecomePager(pager) |
51 | except Exception: | 51 | except Exception: |
52 | print >>sys.stderr, "fatal: cannot start pager '%s'" % pager | 52 | print >>sys.stderr, "fatal: cannot start pager '%s'" % pager |
53 | os.exit(255) | 53 | sys.exit(255) |
54 | 54 | ||
55 | def _SelectPager(globalConfig): | 55 | def _SelectPager(globalConfig): |
56 | try: | 56 | try: |