diff options
| author | Aleksey Kladov <[email protected]> | 2018-08-13 13:35:53 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2018-08-13 13:35:53 +0100 |
| commit | d19f3ac83441420365bff5e4ce21d1d2175bd8c2 (patch) | |
| tree | 0523dc698784bb2501998956f8111b31f4e0387b /code/src | |
| parent | 133d001d8296e51bcb4d0dc0982671f55c2c77d9 (diff) | |
workspace symbols
Diffstat (limited to 'code/src')
| -rw-r--r-- | code/src/extension.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/code/src/extension.ts b/code/src/extension.ts index dd0c29f14..bb724539d 100644 --- a/code/src/extension.ts +++ b/code/src/extension.ts | |||
| @@ -61,9 +61,9 @@ export function deactivate(): Thenable<void> { | |||
| 61 | 61 | ||
| 62 | function startServer() { | 62 | function startServer() { |
| 63 | let run: lc.Executable = { | 63 | let run: lc.Executable = { |
| 64 | command: "cargo", | 64 | // command: "cargo", |
| 65 | args: ["run", "--package", "m"], | 65 | // args: ["run", "--package", "m"], |
| 66 | // command: "m", | 66 | command: "m", |
| 67 | options: { cwd: "." } | 67 | options: { cwd: "." } |
| 68 | } | 68 | } |
| 69 | let serverOptions: lc.ServerOptions = { | 69 | let serverOptions: lc.ServerOptions = { |