push.auto-start

Background

Determines if a push data source should be started when the web server starts or if it should be started on the first API call to the push data source.

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.auto-start key, and set the value. This can be set to any valid Boolean value.

Default value

By default, a push data source will start when the web server starts.

push.auto-start=true

Examples

To set a push data source to start on the first API request set:

push.auto-start=false