changeset 505:e18c747dd945

Ignore SIGPIPE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 23 Nov 2008 11:47:28 -0500
parents 1834dd10dbf4
children 65d8541c130b
files src/c/driver.c
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
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 '?':