Am 06.10.2013 um 16:15 schrieb "David T. Lewis" lewis@mail.msen.com:
I cannot ping box3.squeak.org, which is our build.squeak.org and squeaksource.com server. The box4.squeak.org box is responding, but box3 times out on a ping.
Can someone please check it and restart if needed? If rebooted, the squeaksource.com service will require a manual restart as per ~ssdotcom/README.
I have limited connectivity today but will try to keep in touch.
A root cause analyis will be in order, and since squeaksource.com is the most recent change on box3.squeak.org, that will be an obvious suspect.
Aparently, box3/Squeaksource is up and running. I cannot see anythin suspicous on the box (wich is clearly reachable via ssh…)
Best -Tobias