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.
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: 228151c6c098cf6fb629a8cadc3a43437d5f10bd@76 b5260ef8-a2c4-4e91-82fd-f242746c304a

while0pass/grin,LuizCentenaro/grin,cpcloud/grin,mindw/grin,lecheel/grin