WEBDAV: Avoid replace() with dynamic second argument. replace() and search() have a cache at the C-level that is only cleared on gc. With a static cache key this doesn't matter much, but with a fully dynamic key like in WEBDAV, the cache will have unlimited expansion. The old code also erroneously could perform the replace multiple times. Rev: server/base_server/module.pike:1.247