diff src/c/driver.c @ 505:e18c747dd945

Ignore SIGPIPE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 23 Nov 2008 11:47:28 -0500
parents 8875ff2e85dc
children b3b06fef7bb5
line wrap: on
line diff
--- 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 '?':