Restart Bug - 5 minute Rollback - RESOLVED
An automatic clock update coincided with the same moment we were reloading the server which exposed a bug that prevented the server from properly reloading. As a result there was a 5 minute rollback. We have identified and fixed the problem and apologize for the length of the server reload.
Computing the probability that at least one of the following events will occur:
P(a or b ... or z) = 1 - P(!a and !b ... and !z)