18700: Use different ports for WebDAV and WebDAVDownload ext URLs.
authorTom Clegg <tom@curii.com>
Thu, 24 Mar 2022 15:18:33 +0000 (11:18 -0400)
committerTom Clegg <tom@curii.com>
Thu, 24 Mar 2022 15:18:33 +0000 (11:18 -0400)
commitf29c762f298d7c02ecc963ecd99936b86da1bcfa
treef6d4e56f62ca53267d0498fd971d7d709fa0e585
parentfe0c81c57f073e69bd334bd456046d88bd5f58df
18700: Use different ports for WebDAV and WebDAVDownload ext URLs.

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>
lib/install/init.go