Fault-tolerant replicated system for client-server pull/push