diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 8cd89e119..7866ed7e1 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -68,7 +68,7 @@ export class Config { | |||
68 | * `platform` on GitHub releases. (It is also stored under the same name when | 68 | * `platform` on GitHub releases. (It is also stored under the same name when |
69 | * downloaded by the extension). | 69 | * downloaded by the extension). |
70 | */ | 70 | */ |
71 | get prebuiltLangServerFileName(): null | string { | 71 | get prebuiltServerFileName(): null | string { |
72 | // See possible `arch` values here: | 72 | // See possible `arch` values here: |
73 | // https://nodejs.org/api/process.html#process_process_arch | 73 | // https://nodejs.org/api/process.html#process_process_arch |
74 | 74 | ||
@@ -98,17 +98,17 @@ export class Config { | |||
98 | } | 98 | } |
99 | } | 99 | } |
100 | 100 | ||
101 | get langServerBinarySource(): null | BinarySource { | 101 | get serverBinarySource(): null | BinarySource { |
102 | const langServerPath = RA_LSP_DEBUG ?? this.cfg.get<null | string>("raLspServerPath"); | 102 | const serverPath = RA_LSP_DEBUG ?? this.cfg.get<null | string>("raLspServerPath"); |
103 | 103 | ||
104 | if (langServerPath) { | 104 | if (serverPath) { |
105 | return { | 105 | return { |
106 | type: BinarySource.Type.ExplicitPath, | 106 | type: BinarySource.Type.ExplicitPath, |
107 | path: Config.replaceTildeWithHomeDir(langServerPath) | 107 | path: Config.replaceTildeWithHomeDir(serverPath) |
108 | }; | 108 | }; |
109 | } | 109 | } |
110 | 110 | ||
111 | const prebuiltBinaryName = this.prebuiltLangServerFileName; | 111 | const prebuiltBinaryName = this.prebuiltServerFileName; |
112 | 112 | ||
113 | if (!prebuiltBinaryName) return null; | 113 | if (!prebuiltBinaryName) return null; |
114 | 114 | ||