A distributed coordination server.