Patch ping

Tom Tromey
2001-12-07T15:50:12Z

This patch has been unreviewed for a month:

http://sources.redhat.com/ml/gdb-patches/2001-11/msg00108.html

Tom