Hello,
The ROS/WG server seems to be down:
steph@steph-laptop-asl:~$ ping
www.ros.org
PING pub1.ros.org (157.22.19.18) 56(84) bytes of data.
^C
--- pub1.ros.org ping statistics ---
23 packets transmitted, 0 received, 100% packet loss, time 22006ms
steph@steph-laptop-asl:~$ ping
http://www.willowgarage.com
ping: unknown host
http://www.willowgarage.com
Any idea why?
Thank you, have a nice day,
Stéphane
--
Dr Stéphane Magnenat
http://stephane.magnenat.net