Protected ReadonlyconfigProtected ReadonlyloggerProtected ReadonlypreferenceProtected ReadonlypushProtected ReadonlypushDebounce delay in milliseconds for pushing preference changes, so that editing several preferences at once does not make the backend serve the intermediate configurations.
Pushes the external API preferences to the backend, initially and on every change, so that the backend can start, reconfigure, or stop the external API server.
The pushed configuration applies to the backend as a whole: when several frontends are connected, the configuration pushed last wins, and it stays in effect until it is changed or the backend stops. It is not revoked when this frontend disconnects. In practice the frontends of one backend share the user preferences and therefore push the same values.