push.replication.master.push-api.port

Background

Sets the push API port for the master node when running as a push slave.

Setting the key

Set this configuration key in the server configuration.

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

Default value

By default, the port configured as jetty.admin_port will be used on the query processor.

push.replication.master.push-api.port=

Examples

Configures the slave push node to connect to the master node push API on port 18098. This is set in the slave configuration:

push.replication.master.push-api.port=18098