Also early return if install failed.

Author: antaalt

src/extension.ts

@@ -25,17 +25,22 @@ export async function activate(context: vscode.ExtensionContext)
             const choice = await vscode.window.showInformationMessage(message, 'Install', 'Not now');
             if (choice === 'Install') {
                 // Wait for extension to be correctly installed.
-                await vscode.window.withProgress({ location: vscode.ProgressLocation.Notification },
+                let installed = await vscode.window.withProgress({ location: vscode.ProgressLocation.Notification },
                     (progress) => {
                         progress.report({ message: "Installing Microsoft WASM wasi core extension" });
                         return vscode.commands.executeCommand("workbench.extensions.installExtension", msWasmWasiCoreName);
                     },
                 ).then(success => {
                     console.assert(vscode.extensions.getExtension(msWasmWasiCoreName) !== undefined, "Failed to load WASM wasi core.");
                     vscode.window.showInformationMessage("Microsoft WASM wasi core extension installed with success !");
+                    return true;
                 }, failure => {
                     vscode.window.showErrorMessage(`Failed to install Microsoft WASM wasi core: ${failure} You will have to install ms-vscode.wasm-wasi-core yourself through the extensions tab.`);
+                    return false;
                 });
+                if (!installed) {
+                    return;
+                }
             } else {
                 vscode.window.showErrorMessage("Extension shader-validator failed to install dependencies. It will not launch the shader language server.");
                 return; // Extension failed to launch.