# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1227458848 18000
# Node ID e18c747dd94578c30e8a10599c178d1d0267b4ca
# Parent  1834dd10dbf4925fde74739084dab74bd67ecac5
Ignore SIGPIPE

diff -r 1834dd10dbf4 -r e18c747dd945 src/c/driver.c
--- a/src/c/driver.c	Thu Nov 20 14:51:14 2008 -0500
+++ b/src/c/driver.c	Sun Nov 23 11:47:28 2008 -0500
@@ -313,7 +313,8 @@
   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 '?':