X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fdpctl.c;h=b074edd79612631267c3e0947fd367db2a2b1d8d;hb=69abd4346d21c24fe7e18eff538332434564979e;hp=8a075f915c928235091b252619f95c00ea50cca4;hpb=c9b82cb59c027d9a32310c7645b6d4b8f2274bf5;p=openvswitch diff --git a/utilities/dpctl.c b/utilities/dpctl.c index 8a075f91..b074edd7 100644 --- a/utilities/dpctl.c +++ b/utilities/dpctl.c @@ -88,6 +88,7 @@ int main(int argc, char *argv[]) time_init(); vlog_init(); parse_options(argc, argv); + signal(SIGPIPE, SIG_IGN); argc -= optind; argv += optind;