webdav-service.port

Background

Defines the port which should be used by the internal WebDAV service used for multi-server replication.

Setting the key

Set this configuration key in the server configuration.

Use the configuration key editor to add or edit the webdav-service.port key, and set the value. This can be set to any valid Integer value.

Default value

webdav-service.port=8076