update_max_num

The maximum number of results that can accumulatebefore an update notification is sent. This value is used only duringthe live-update phase of a query.

Declaration

var update_max_num: Int