On Sat, May 02, 2009 at 05:51:58PM +0200, Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > > If you know/think/believe that the problem is only with Webdav, then it > > > is not a real problem. > > > > So, Jürgen, what we shall do? > > As already announced. As long as Georg's patch does not show any problems, I'd > go for that.
I also prefer that (because no disk access is performed if it is not really necessary) and did not apply it for the previously stated reasons. However, I think that if a problem shows up, it can be worked out. So I am going to revert my previous commit and apply Georg's patch. -- Enrico