Re: [PATCH] ping: Add SIGINT signal handling