diff options
-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 '?': |