Drop extensionUri copy

[rust.git] / editors / code / src / persistent_state.ts

diff --git a/editors/code/src/persistent_state.ts b/editors/code/src/persistent_state.ts
index afb6525899170a22889d59ad049cef8efee857f9..3e86ed1e32317b3adff1151917a23e434c91ca92 100644 (file)
--- a/editors/code/src/persistent_state.ts
+++ b/editors/code/src/persistent_state.ts
@@ -3,34 +3,13 @@ import { log } from './util';
 
 export class PersistentState {
     constructor(private readonly globalState: vscode.Memento) {
-        const { lastCheck, releaseId, serverVersion } = this;
-        log.info("PersistentState:", { lastCheck, releaseId, serverVersion });
-    }
-
-    /**
-     * Used to check for *nightly* updates once an hour.
-     */
-    get lastCheck(): number | undefined {
-        return this.globalState.get("lastCheck");
-    }
-    async updateLastCheck(value: number) {
-        await this.globalState.update("lastCheck", value);
-    }
-
-    /**
-     * Release id of the *nightly* extension.
-     * Used to check if we should update.
-     */
-    get releaseId(): number | undefined {
-        return this.globalState.get("releaseId");
-    }
-    async updateReleaseId(value: number) {
-        await this.globalState.update("releaseId", value);
+        const { serverVersion } = this;
+        log.info("PersistentState:", { serverVersion });
     }
 
     /**
      * Version of the extension that installed the server.
-     * Used to check if we need to update the server.
+     * Used to check if we need to run patchelf again on NixOS.
      */
     get serverVersion(): string | undefined {
         return this.globalState.get("serverVersion");
@@ -38,15 +17,4 @@ export class PersistentState {
     async updateServerVersion(value: string | undefined) {
         await this.globalState.update("serverVersion", value);
     }
-
-    /**
-     * Github authorization token.
-     * This is used for API requests against the Github API.
-     */
-    get githubToken(): string | undefined {
-        return this.globalState.get("githubToken");
-    }
-    async updateGithubToken(value: string | undefined) {
-        await this.globalState.update("githubToken", value);
-    }
 }