diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/installation/server.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts index 5afce4101..9de257dd5 100644 --- a/editors/code/src/installation/server.ts +++ b/editors/code/src/installation/server.ts | |||
@@ -89,8 +89,8 @@ async function downloadServer(source: BinarySource.GithubRelease): Promise<boole | |||
89 | } | 89 | } |
90 | 90 | ||
91 | const binaryPath = path.join(source.dir, source.file); | 91 | const binaryPath = path.join(source.dir, source.file); |
92 | 92 | ||
93 | if (!isBinaryAvailable(binaryPath)) assert(false, | 93 | assert(isBinaryAvailable(binaryPath), |
94 | `Downloaded language server binary is not functional.` + | 94 | `Downloaded language server binary is not functional.` + |
95 | `Downloaded from GitHub repo ${source.repo.owner}/${source.repo.name} ` + | 95 | `Downloaded from GitHub repo ${source.repo.owner}/${source.repo.name} ` + |
96 | `to ${binaryPath}` | 96 | `to ${binaryPath}` |