Recovery from loss of a multiplex server

Failover must occur when a server’s machine has suffered a hardware failure that prevents it from continuing. As before, there are two cases: when the failed machine had a query server on it, and when it had the write server on it.