[tokenizerrr]

fwiw I use

    ping -n www.google.com | awk '/ms/ {split($7,p,"="); print "ping.google " p[2] " " strftime("%s")}; fflush()' | nc -q0 127.0.0.1 2003 &

[falcolas]

I bow before your awk-fu. :)