builder server down?

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