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 | 0030021994c58841dba93966d3ae51476715e94e (patch) | |
| tree | 5b04c2e939ee4637b808c6f275525c39d8201f28 /src/c | |
| parent | 9410c6481bf34ca18e7473e92e25e8e3310dfa73 (diff) | |
Ignore SIGPIPE
Diffstat (limited to 'src/c')
| -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 '?': |