summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-23 11:47:28 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-23 11:47:28 -0500
commit261ebaa5168b307ad38825c95d60c5bea5d9858f (patch)
tree5b04c2e939ee4637b808c6f275525c39d8201f28 /src
parent1e6547284fbe62b1604d12b651a161709b30851f (diff)
Ignore SIGPIPE
Diffstat (limited to 'src')
-rw-r--r--src/c/driver.c3
1 files changed, 2 insertions, 1 deletions
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 '?':