BUG: Gracefully handle the case when a user pipes the output to a pager and exits the pager. Thanks to Brandon Craig Rhodes for the patch.

git-svn-id: https://svn.enthought.com/svn/sandbox/grin/trunk@76 b5260ef8-a2c4-4e91-82fd-f242746c304a

Author: rkern

grin.py

@@ -1026,6 +1026,12 @@ def grin_main(argv=None):
             sys.stdout.write(report)
     except KeyboardInterrupt:
         raise SystemExit(0)
+    except IOError as e:
+        if 'Broken pipe' in str(e):
+            # The user is probably piping to a pager like less(1) and has exited
+            # it. Just exit.
+            raise SystemExit(0)
+        raise
 
 def print_line(filename):
     print filename