Handle signal 13.

diff --git a/filterator b/filterator
index a03f6f0aabad1fecc28f100fdcc403546dfc6950..94c6ccb2cef11176f920d7fd1e8457276e28bc50 100755 (executable)
--- a/filterator
+++ b/filterator
@@ -54,7 +54,7 @@ if __name__ == '__main__':
             state.filter_by_size(minsize)
         try:
             report_common(state)
-        except KeyboardInterrupt:
+        except (KeyboardInterrupt, IOError):
             pass
     except comparator.ComparatorException, e:
         sys.stderr.write("filterator: " + e.message + "\n")