Make sure the server does not die from SIGPIPE when replying to a client, since the client might have been killed by SIGINT.