bugfix ping.c: timeout is now detected even if receiving socket is getting messages.