(Palm hits forehead!) and I also realized I sent my question to the mailing list that was also down with teh server. Duh! :-/

On Tue, Dec 1, 2015 at 5:22 AM, Bert Freudenberg <bert@freudenbergs.de> wrote:

Because that only works if you can actually ssh into the box.

- Bert -

> On 30.11.2015, at 22:31, Chris Muller <asqueaker@gmail.com> wrote:
>
> I'm sure this is a dumb question but, why couldn't we reboot via sudo
> shutdown -r?
>
> On Mon, Nov 30, 2015 at 11:31 AM, Bert Freudenberg <bert@freudenbergs.de> wrote:
>> Hi Bradley,
>>
>> our box4.squeak.org became unresponsive. Could you please reboot it?
>>
>> - Bert -
>>
>>
>>