Skip to content

Commit 0d7caed

Browse files
author
rkern
committed
BUG: Extend the previous fix to grind as well.
git-svn-id: https://svn.enthought.com/svn/sandbox/grin/trunk@77 b5260ef8-a2c4-4e91-82fd-f242746c304a
1 parent 268f0f6 commit 0d7caed

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

grin.py

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1067,6 +1067,12 @@ def grind_main(argv=None):
10671067
output(filename)
10681068
except KeyboardInterrupt:
10691069
raise SystemExit(0)
1070+
except IOError as e:
1071+
if 'Broken pipe' in str(e):
1072+
# The user is probably piping to a pager like less(1) and has exited
1073+
# it. Just exit.
1074+
raise SystemExit(0)
1075+
raise
10701076

10711077
if __name__ == '__main__':
10721078
grin_main()

0 commit comments

Comments
 (0)