diff options
| author | Aleksey Kladov <[email protected]> | 2020-03-16 18:23:38 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-03-16 21:02:11 +0000 |
| commit | ae662617a2bc49d025adaf9c4a8ff2dfa557d36c (patch) | |
| tree | f321ad0a529283bbb276095da7644d8f1ba663d2 /editors/code/src/commands | |
| parent | 2e9b6320e66cb764b9683a38c284a06b7c35aab6 (diff) | |
Separate persistent mutable state from config
That way, we clearly see which things are not change, and we also
clearly see which things are persistent.
Diffstat (limited to 'editors/code/src/commands')
| -rw-r--r-- | editors/code/src/commands/server_version.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/commands/server_version.ts b/editors/code/src/commands/server_version.ts index c4d84b443..83b1acf67 100644 --- a/editors/code/src/commands/server_version.ts +++ b/editors/code/src/commands/server_version.ts | |||
| @@ -5,7 +5,7 @@ import { spawnSync } from 'child_process'; | |||
| 5 | 5 | ||
| 6 | export function serverVersion(ctx: Ctx): Cmd { | 6 | export function serverVersion(ctx: Ctx): Cmd { |
| 7 | return async () => { | 7 | return async () => { |
| 8 | const binaryPath = await ensureServerBinary(ctx.config); | 8 | const binaryPath = await ensureServerBinary(ctx.config, ctx.state); |
| 9 | 9 | ||
| 10 | if (binaryPath == null) { | 10 | if (binaryPath == null) { |
| 11 | throw new Error( | 11 | throw new Error( |