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.ts13
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);
}
}