()
| 202 | } |
| 203 | |
| 204 | function flushLater() { |
| 205 | if (!flushTimer && !isEmpty(valuesToFlush)) { |
| 206 | flushTimer = setTimeout(flush, |
| 207 | Math.min(FLUSH_MAX_DELAY, FLUSH_DELAY * Math.max(1, deepSize(valuesToFlush) / FLUSH_SIZE_STEP))); |
| 208 | } |
| 209 | } |
| 210 | |
| 211 | function notifyWatchers(toFlush, toRemove) { |
| 212 | const byFn = new Map(); |