(provider: CustomConfigurationProvider1)
| 41 | } |
| 42 | |
| 43 | private removeNotifyReadyTimer(provider: CustomConfigurationProvider1): void { |
| 44 | if (this.version >= Version.v2) { |
| 45 | const timer: NodeJS.Timeout | undefined = this.timers.get(provider.extensionId); |
| 46 | if (timer) { |
| 47 | this.timers.delete(provider.extensionId); |
| 48 | clearTimeout(timer); |
| 49 | } |
| 50 | } |
| 51 | } |
| 52 | |
| 53 | public getVersion(): Version { |
| 54 | return this.version; |
no test coverage detected