Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/persistent_state.ts')
| -rw-r--r-- | editors/code/src/persistent_state.ts | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts index f6d0a3d015..3e86ed1e32 100644 --- a/editors/code/src/persistent_state.ts +++ b/editors/code/src/persistent_state.ts @@ -3,5 +3,18 @@ import { log } from './util'; export class PersistentState { constructor(private readonly globalState: vscode.Memento) { + const { serverVersion } = this; + log.info("PersistentState:", { serverVersion }); + } + + /** + * Version of the extension that installed the server. + * Used to check if we need to run patchelf again on NixOS. + */ + get serverVersion(): string | undefined { + return this.globalState.get("serverVersion"); + } + async updateServerVersion(value: string | undefined) { + await this.globalState.update("serverVersion", value); } } |