[ros-users] ros/wg server down?

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