We just experienced a network problem on server 7 and 8 which resulted in downtime on both servers. The problem has been solved, we apologize for any inconvenience caused by the downtime.