We are checking into the problem, and we’ll get the server back online as quickly as possible.

2015-12-09 @ 08:42 UTC: We replaced the RAM and re-greased the CPU, and now web494 is back online.