diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-23 11:47:28 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-23 11:47:28 -0500 |
| commit | 261ebaa5168b307ad38825c95d60c5bea5d9858f (patch) | |
| tree | 5b04c2e939ee4637b808c6f275525c39d8201f28 | |
| parent | 1e6547284fbe62b1604d12b651a161709b30851f (diff) | |
Ignore SIGPIPE
| -rw-r--r-- | src/c/driver.c | 3 |
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 '?': |