distributed fault-tolerant WebDAV server