diff options
-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( |