random-mirrors/cosmos-explorer
1
0
Fork 0
mirror of https://github.com/Azure/cosmos-explorer.git synced 2025-05-11 19:04:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Changed param name

Browse Source
This commit is contained in:
Justin Kolasa (from Dev Box) 2025-04-29 13:27:48 -04:00
parent 323ba64e90
commit 382cd55f65
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Explorer/Explorer.tsx
View File

@ -305,11 +305,11 @@ export default class Explorer {
const baseUrl = `vscode://ms-azuretools.vscode-cosmosdb?resourceId=${resourceId}`; const baseUrl = `vscode://ms-azuretools.vscode-cosmosdb?resourceId=${resourceId}`;
const vscodeUrl = activeTab ? `${baseUrl}&database=${database}&container=${container}` : baseUrl; const vscodeUrl = activeTab ? `${baseUrl}&database=${database}&container=${container}` : baseUrl;
const startTime = Date.now(); const startTime = Date.now();
let hasRedirected = false; let vsCodeNotOpened = false;
setTimeout(() => { setTimeout(() => {
if (!hasRedirected && Date.now() - startTime < 1200) { if (!vsCodeNotOpened && Date.now() - startTime < 1200) {
hasRedirected = true; vsCodeNotOpened = true;
logConsoleInfo( logConsoleInfo(
"Visual Studio Code not detected. Please download it from: https://code.visualstudio.com/download", "Visual Studio Code not detected. Please download it from: https://code.visualstudio.com/download",
); );
@ -319,8 +319,8 @@ export default class Explorer {
try { try {
window.location.href = vscodeUrl; window.location.href = vscodeUrl;
} catch (error) { } catch (error) {
if (!hasRedirected) { if (!vsCodeNotOpened) {
hasRedirected = true; vsCodeNotOpened = true;
logConsoleError(`Failed to open VS Code: ${getErrorMessage(error)}`); logConsoleError(`Failed to open VS Code: ${getErrorMessage(error)}`);
} }
} }