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=