Brief downtime last night

Last night we had an unexpected problem involving one of our database tables -- it got damaged. This caused the mysql server to crash, and a downtime of unknown time while no one was in the office (the people taking care of the server deleted a username that we use so our site wasn't able to connect). Once we found out, everything was back up and running.

We don't know if anyone had a problem, but we don't believe it was a significant downtime.