#3 Ping not working on WinCE ??

[Tom Arn]

The sockets.ping function does not seem to work under
WinCE. I've tried on my HP720 (HPC2000, WinCE3.0, ARM)

Can someone verify that on his device or provide a fix
for it?

Tom

import "sockets"
hostname = "www.aristar.com"
t = sockets.ping(hostname)
if t == 0 then
print "no answer"
else
print format("%s answered in %d
milliseconds",hostname, int(t))
endif