For dan.box.squeak.org (squeaksource.com)I would say that it can be rebooted at any convenient time. I am assuming that a reboot on these servers would be fairly quick, say under a minute, such that the total downtime until squeaksource came back might be a minute or two.

This will be the first time that we have restarted dan with squeaksource.com running, so I would be happier if it can be a done at a time when I can be available if anything goes wrong.

Tobias, is 2:00pm Pottsdam tomorrow a convenient time for you? If so, I can be available then (8:00am for me) to help.

Dave

Dear all

all our hosts need reboot. When shall we do the cycling?

As a reminder, here's what each host does:

ian ssh-gateway alan webserver adele mail/mailinglists andreas source.squeak.org dan squeaksource.com ted squeak wiki+map david holds data from old jenkins/old apache scott misc(mantis/codesp.)

I'm taking suggestions.

Best regards -tobias

All squeak.org servers received a mandatory reboot over the last half hour.

The source.squeak.org service is temporarily off line and is expected to be back soon.

Problems can be reported to squeak-dev, and any emergency issues for box-admins can be communicated on the box-admin slack channel.

Dave