* Schedule a normal debounced sync after a source edit.
()
| 716 | * Schedule a normal debounced sync after a source edit. |
| 717 | */ |
| 718 | private scheduleSync(): void { |
| 719 | if (this.debounceTimer) { |
| 720 | clearTimeout(this.debounceTimer); |
| 721 | } |
| 722 | this.debounceTimer = setTimeout(() => { |
| 723 | this.debounceTimer = null; |
| 724 | this.flush(); |
| 725 | }, this.debounceMs); |
| 726 | } |
| 727 | |
| 728 | /** |
| 729 | * Schedule a retry after a recoverable sync failure (lock contention). Kept |
no test coverage detected