We will soon shut down the server for 1-2 days for migration to new hardware.
http://www.magiclantern.fm/forum/index.php?topic=11017.0 check that out