All servers were unavailable for 40 minutes, due to some problem with the Gigabit switch. It has been corrected now and everything is working fine. We apologize for the inconvenience caused.