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 at freudenbergs.de> wrote: > Hi Bradley, > > our box4.squeak.org became unresponsive. Could you please reboot it? > > - Bert - > > >