- From: Geoffrey M Clemm <geoffrey.clemm@us.ibm.com>
- Date: Tue, 20 Dec 2005 15:02:58 -0500
- To: " webdav" <w3c-dist-auth@w3.org>
Received on Tuesday, 20 December 2005 20:03:25 UTC
If WebDAV were just for file systems, then life would be simpler, but it's not, so we do have to deal with the head-hurting scenarios (:-). Jim wrote on 12/20/2005 12:14:35 PM: > > On Dec 20, 2005, at 8:58 AM, Stefan Eissing wrote: > > Mathematically speaking if PUT(x) is the function in the server > > that takes the client input and modifies it, so that a subsequent > > GET(PUT(x)) defines the content a client gets back. We are talking > > about the situation where x != GET(PUT(x)) because the other case > > is trivial. > > As the implementer of a WebDAV file system client, the whole idea of > x != GET(PUT(x)) makes my head hurt. For file systems to work, they > require x == GET(PUT(x)) if there have been no PUTs from other > clients between the PUT and the GET. > > - Jim >
Received on Tuesday, 20 December 2005 20:03:25 UTC