From 382cd55f6571a7bfdf4b3eeaa854c589b9e0bdfa Mon Sep 17 00:00:00 2001 From: "Justin Kolasa (from Dev Box)" Date: Tue, 29 Apr 2025 13:27:48 -0400 Subject: [PATCH] Changed param name --- src/Explorer/Explorer.tsx | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Explorer/Explorer.tsx b/src/Explorer/Explorer.tsx index 67b20494f..5cc4051bc 100644 --- a/src/Explorer/Explorer.tsx +++ b/src/Explorer/Explorer.tsx @@ -305,11 +305,11 @@ export default class Explorer { const baseUrl = `vscode://ms-azuretools.vscode-cosmosdb?resourceId=${resourceId}`; const vscodeUrl = activeTab ? `${baseUrl}&database=${database}&container=${container}` : baseUrl; const startTime = Date.now(); - let hasRedirected = false; + let vsCodeNotOpened = false; setTimeout(() => { - if (!hasRedirected && Date.now() - startTime < 1200) { - hasRedirected = true; + if (!vsCodeNotOpened && Date.now() - startTime < 1200) { + vsCodeNotOpened = true; logConsoleInfo( "Visual Studio Code not detected. Please download it from: https://code.visualstudio.com/download", ); @@ -319,8 +319,8 @@ export default class Explorer { try { window.location.href = vscodeUrl; } catch (error) { - if (!hasRedirected) { - hasRedirected = true; + if (!vsCodeNotOpened) { + vsCodeNotOpened = true; logConsoleError(`Failed to open VS Code: ${getErrorMessage(error)}`); } }