From eadb15449f03f3b63de48ab7d97276e9665f39b4 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Thu, 18 Sep 2003 09:50:32 +0000 Subject: [PATCH] Handle signal 13. --- filterator | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/filterator b/filterator index a03f6f0..94c6ccb 100755 --- 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") -- 2.43.0