diff -r 000000000000 -r 068428edee47 sig_pipe.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/sig_pipe.c	Fri Oct 19 14:06:22 2007 +0200
@@ -0,0 +1,5 @@
+#include <signal.h>
+#include "sig.h"
+
+void sig_pipeignore() { sig_catch(SIGPIPE,SIG_IGN); }
+void sig_pipedefault() { sig_catch(SIGPIPE,SIG_DFL); }