Don't choke on broken pipes
author |
Steve Losh <steve@stevelosh.com> |
date |
Fri, 06 Oct 2017 22:15:54 -0400 |
parents |
e45034370c06
|
children |
643afa3557f7
|
branches/tags |
(none) |
files |
ffind |
Changes
--- a/ffind Mon Oct 31 13:58:36 2016 +0000
+++ b/ffind Fri Oct 06 22:15:54 2017 -0400
@@ -8,12 +8,13 @@
#
# The friendlier file finder.
-import time
+import errno
+import optparse
import os
-import optparse
+import re
import string
import sys
-import re
+import time
from optparse import OptionParser, OptionGroup
@@ -882,4 +883,11 @@
sys.stdout.write('\n')
sys.exit(130)
signal.signal(signal.SIGINT, sigint_handler)
- main()
+
+ try:
+ main()
+ except IOError as e:
+ if e.errno != errno.EPIPE:
+ raise
+ else:
+ pass