vscode: renamed langServer to server

This commit is contained in:
Veetaha 2020-02-15 00:42:32 +02:00
parent f61134e198
commit 80d5ba68da
3 changed files with 22 additions and 22 deletions

View file

@ -68,7 +68,7 @@ export class Config {
* `platform` on GitHub releases. (It is also stored under the same name when
* downloaded by the extension).
*/
get prebuiltLangServerFileName(): null | string {
get prebuiltServerFileName(): null | string {
// See possible `arch` values here:
// https://nodejs.org/api/process.html#process_process_arch
@ -98,17 +98,17 @@ export class Config {
}
}
get langServerBinarySource(): null | BinarySource {
const langServerPath = RA_LSP_DEBUG ?? this.cfg.get<null | string>("raLspServerPath");
get serverBinarySource(): null | BinarySource {
const serverPath = RA_LSP_DEBUG ?? this.cfg.get<null | string>("raLspServerPath");
if (langServerPath) {
if (serverPath) {
return {
type: BinarySource.Type.ExplicitPath,
path: Config.replaceTildeWithHomeDir(langServerPath)
path: Config.replaceTildeWithHomeDir(serverPath)
};
}
const prebuiltBinaryName = this.prebuiltLangServerFileName;
const prebuiltBinaryName = this.prebuiltServerFileName;
if (!prebuiltBinaryName) return null;