Skip to content
This repository has been archived by the owner on Jul 28, 2023. It is now read-only.

Commit

Permalink
fix executor error on run
Browse files Browse the repository at this point in the history
  • Loading branch information
damirka committed Jun 8, 2020
1 parent c39f75f commit 8e8fba1
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 8 deletions.
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "move-ide",
"version": "0.3.4",
"version": "0.3.5",
"description": "Move/mvir IDE for VSCode",
"publisher": "damirka",
"displayName": "Move IDE",
Expand Down
10 changes: 3 additions & 7 deletions src/extension.ts
Original file line number Diff line number Diff line change
Expand Up @@ -182,17 +182,13 @@ async function runScriptCommand(): Promise<any> {

const modules = [config.modulesPath, config.stdlibPath].filter((a) => !!a);

if (modules.length) {
// @ts-ignore
args.push('--modules', ...modules); // .map((mod) => mod + '/*'));
}

modules.forEach((m) => m && args.push('--modules', m));

return exec(binaryPath + args.join(' '))
// @ts-ignore
.then((stdout) => console.log(stdout) || vscode.window.showInformationMessage(stdout, {modal: true}))
.then((stdout) => vscode.window.showInformationMessage(stdout, {modal: true}))
// @ts-ignore
.catch((stderr) => console.log(stderr) || vscode.window.showErrorMessage(stderr, {modal: config.showModal || false}));
.catch((stderr) => vscode.window.showErrorMessage(stderr, {modal: config.showModal || false}));
}

/**
Expand Down

0 comments on commit 8e8fba1

Please sign in to comment.