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=