Miami server

The miami server suffered a kernel panic this morning and crashed. We are working on getting the server online.