builder server down?

[Karel Gardas]

Hello,

for some time now, my builder clients are not able to reach the builder 
server. If my sniffing is right then this should be on abbot.galois.com 
which web claims to be working but otherwise is not pingable. Also port 
4938 is open, I'm able to push some data there, but the server does not 
respond with anything...

Looking on http://darcs.haskell.org/ghcBuilder/builders/ reveals that 
few last builds are from May 25.

Could someone responsible for this server be so kind and restart the 
builder server?

Thanks a lot!
Karel