Setting a Custom Port for WebDAV Connections
When configuring a WebDAV connection to a nonstandard port number, enter the port to be used directly in the URL/IP Address field with a colon separating the address and the port number (no spaces). Example: When connecting to https://www.myserver.com/ on Port 4433 -- Use: https://www.myserver.com:4433