ServerInterval

Interval time in milliseconds to be used for server subscriptions. If no value is specified, the websocketIntervalTime defined in tchmiconfig.json is used.

Schema: tchmi:general#/definitions/Number

Origin: File Explorer

See also

Attribute getter: getServerInterval

Attribute setter: setServerInterval

Available from version 1.12.754