Merge pull request #2294 from github/robertbrignull/no_distribution_install

Don't rate limit if no CLI is installed
This commit is contained in:
Robert
2023-04-11 16:18:55 +01:00
committed by GitHub

View File

@@ -215,6 +215,9 @@ export class DistributionManager implements DistributionProvider {
minSecondsSinceLastUpdateCheck: number,
): Promise<DistributionUpdateCheckResult> {
const distribution = await this.getDistributionWithoutVersionCheck();
if (distribution === undefined) {
minSecondsSinceLastUpdateCheck = 0;
}
const extensionManagedCodeQlPath =
await this.extensionSpecificDistributionManager.getCodeQlPathWithoutVersionCheck();
if (distribution?.codeQlPath !== extensionManagedCodeQlPath) {