diff options
author | Veetaha <[email protected]> | 2020-02-24 19:23:48 +0000 |
---|---|---|
committer | Veetaha <[email protected]> | 2020-02-24 19:23:56 +0000 |
commit | af57251c311220c2f93a75a6105e6472ffc8ebaa (patch) | |
tree | 2f42d05c0fa34b6a084127d6f093c057df78be9e /editors | |
parent | b4db089a6b79ae60dec9fcd0ba2d788a494c8d8f (diff) |
vscode: remove type assertion
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/.eslintrc.js | 3 | ||||
-rw-r--r-- | editors/code/src/installation/server.ts | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/editors/code/.eslintrc.js b/editors/code/.eslintrc.js index 16f18ab2c..c6bf410f4 100644 --- a/editors/code/.eslintrc.js +++ b/editors/code/.eslintrc.js | |||
@@ -32,6 +32,7 @@ module.exports = { | |||
32 | "@typescript-eslint/semi": [ | 32 | "@typescript-eslint/semi": [ |
33 | "error", | 33 | "error", |
34 | "always" | 34 | "always" |
35 | ] | 35 | ], |
36 | "@typescript-eslint/no-unnecessary-type-assertion": "error" | ||
36 | } | 37 | } |
37 | }; | 38 | }; |
diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts index 9de257dd5..cb5e56844 100644 --- a/editors/code/src/installation/server.ts +++ b/editors/code/src/installation/server.ts | |||
@@ -63,7 +63,7 @@ export async function ensureServerBinary(source: null | BinarySource): Promise<n | |||
63 | 63 | ||
64 | async function downloadServer(source: BinarySource.GithubRelease): Promise<boolean> { | 64 | async function downloadServer(source: BinarySource.GithubRelease): Promise<boolean> { |
65 | try { | 65 | try { |
66 | const releaseInfo = (await fetchArtifactReleaseInfo(source.repo, source.file, source.version))!; | 66 | const releaseInfo = await fetchArtifactReleaseInfo(source.repo, source.file, source.version); |
67 | 67 | ||
68 | await downloadArtifact(releaseInfo, source.file, source.dir, "language server"); | 68 | await downloadArtifact(releaseInfo, source.file, source.dir, "language server"); |
69 | await setServerVersion(source.storage, releaseInfo.releaseName); | 69 | await setServerVersion(source.storage, releaseInfo.releaseName); |