Re: [PATCH] ping: Add Ctrl+C event handling