Help Center

Menu

push.replication.master.webdav.port

Background

Specifies the WebDAV port of the master node that the push slave should connect to.

Setting the key

Set this configuration key in the search package or data source configuration.

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

Default value

Uses the server’s default WebDAV port (8076).

push.replication.master.webdav.port=8076

Examples

If the master node listens for WevDAV on port 8098, you would set the following in the push slave configuration:

push.replication.master.webdav.port=8098

See also