fixed 566845 2:1.8-5 thanks This appears to have been implemented now, see:
root@sid:~# ping --help|grep timeout -w, --timeout=N stop after N seconds root@sid:~# ping --version ping (GNU inetutils) 1.8 /Simon -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org