diff options
author | gentoo90 <[email protected]> | 2019-01-05 15:28:41 +0000 |
---|---|---|
committer | gentoo90 <[email protected]> | 2019-01-05 15:28:41 +0000 |
commit | a6e04cfa7fbc2baaf5fabb8a07093034d4d761e4 (patch) | |
tree | 43a703571f0e10dc619bbab959be002c9970c676 /editors/code/src/server.ts | |
parent | 8d51b02362109d71355aed63d48b5e7ccd0e51f4 (diff) |
Allow user to set path to ra_lsp_server in vscode settings
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 75bdf3207..35fb7e3f5 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -12,7 +12,7 @@ export class Server { | |||
12 | notificationHandlers: Iterable<[string, lc.GenericNotificationHandler]> | 12 | notificationHandlers: Iterable<[string, lc.GenericNotificationHandler]> |
13 | ) { | 13 | ) { |
14 | const run: lc.Executable = { | 14 | const run: lc.Executable = { |
15 | command: 'ra_lsp_server', | 15 | command: this.config.raLspServerPath, |
16 | options: { cwd: '.' } | 16 | options: { cwd: '.' } |
17 | }; | 17 | }; |
18 | const serverOptions: lc.ServerOptions = { | 18 | const serverOptions: lc.ServerOptions = { |