Method addNotifyReadyTimer

Extension/src/cppTools.ts:33–41

(provider: CustomConfigurationProvider1)

    }

    private addNotifyReadyTimer(provider: CustomConfigurationProvider1): void {
        if (this.version >= Version.v2) {
            const timeout: number = 30;
            const timer: NodeJS.Timeout = global.setTimeout(() => {
                console.warn(`registered provider ${provider.extensionId} did not call 'notifyReady' within ${timeout} seconds`);
            }, timeout * 1000);
            this.timers.set(provider.extensionId, timer);
        }
    }

    private removeNotifyReadyTimer(provider: CustomConfigurationProvider1): void {
        if (this.version >= Version.v2) {