[Box-Admins] Box3 Unresponsive

[Ken Causey]

box3.squeak.org (aka build.squeak.org) has become unresponsive.  I 
noticed over the weekend that it seemed like some of the build processes 
were living longer and starting to stack up.

I'm considering contacting Brad Kuhn and asking him to reset the server 
but I'm wondering if anyone has any idea how long it has been 
unresponsive and if maybe I should just be more patient?

Ken