Now using ephemeral port for WebDAV on remote desktop, instead of 8080.
Thanks to Chris for this fix.