builder server down?

Karel Gardas karel.gardas at
Fri Jun 7 16:18:39 CEST 2013


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 
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 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!

More information about the ghc-devs mailing list