(subtract: number = 0)
| 481 | } |
| 482 | |
| 483 | private startTimer(subtract: number = 0) { |
| 484 | // console.error('Starting Timer'); |
| 485 | this.killTimer(); |
| 486 | this.timeout = setTimeout(() => { |
| 487 | this.timeout = undefined; |
| 488 | if (LiveWatchTreeProvider.session) { |
| 489 | this.refresh(LiveWatchTreeProvider.session, true); |
| 490 | } |
| 491 | }, this.timeoutMs - subtract); |
| 492 | } |
| 493 | |
| 494 | private killTimer() { |
| 495 | if (this.timeout) { |
no test coverage detected