From 261ebaa5168b307ad38825c95d60c5bea5d9858f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 23 Nov 2008 11:47:28 -0500
Subject: Ignore SIGPIPE

---
 src/c/driver.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/c/driver.c b/src/c/driver.c
index ce0d194e..a9a5ce3f 100644
--- a/src/c/driver.c
+++ b/src/c/driver.c
@@ -313,7 +313,8 @@ int main(int argc, char *argv[]) {
   int uw_port = 8080, nthreads = 1, i, *names, opt;
  
   signal(SIGINT, sigint);
- 
+  signal(SIGPIPE, SIG_IGN); 
+
   while ((opt = getopt(argc, argv, "hp:t:")) != -1) {
     switch (opt) {
     case '?':
-- 
cgit v1.2.3