diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-24 11:40:06 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-24 11:40:06 +0000 |
commit | 223a6676fdf8e62bb7616e590abd37b8c4715dcb (patch) | |
tree | f15e55dab3d417c1d76f4622a8ab0ee40c1f9eeb /editors | |
parent | dc6383c42237fc46c0955d15ae2d13e7f3527635 (diff) | |
parent | ef4dfab3cc9a3f578e02d6e890243cebedc4da98 (diff) |
Merge #3288
3288: Quick fix circular json error when sanity-check fails r=matklad a=Veetaha
Related issue: #3280
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/installation/server.ts | 7 |
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( |