aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorVeetaha <[email protected]>2020-02-24 09:56:52 +0000
committerGitHub <[email protected]>2020-02-24 09:56:52 +0000
commitef4dfab3cc9a3f578e02d6e890243cebedc4da98 (patch)
tree284048a2684f6d5b8bf37a7716f6b48550f366ac /editors
parent1d1c1b0d85547d31775f9e0f3b5516c4b38fed9f (diff)
Quick fix circular json error when sanity-check fails
Related issue: #3280
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/installation/server.ts7
1 files changed, 5 insertions, 2 deletions
diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts
index 685abfdc6..5afce4101 100644
--- a/editors/code/src/installation/server.ts
+++ b/editors/code/src/installation/server.ts
@@ -88,9 +88,12 @@ async function downloadServer(source: BinarySource.GithubRelease): Promise<boole
88 return false; 88 return false;
89 } 89 }
90 90
91 if (!isBinaryAvailable(path.join(source.dir, source.file))) assert(false, 91 const binaryPath = path.join(source.dir, source.file);
92
93 if (!isBinaryAvailable(binaryPath)) assert(false,
92 `Downloaded language server binary is not functional.` + 94 `Downloaded language server binary is not functional.` +
93 `Downloaded from: ${JSON.stringify(source, null, 4)}` 95 `Downloaded from GitHub repo ${source.repo.owner}/${source.repo.name} ` +
96 `to ${binaryPath}`
94 ); 97 );
95 98
96 vscode.window.showInformationMessage( 99 vscode.window.showInformationMessage(