WebDAV: Attempt 2 at fixing proper quoting for hrefs. Rev: server/base_server/module.pike:1.245 Rev: server/base_server/prototypes.pike:1.283