diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2021-05-05 17:04:09 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2021-05-05 17:04:09 +0200 |
| commit | d25e7a8dfd64e492e4fe23876f2ccc646ed18c57 (patch) | |
| tree | ce5712615fd5068d506b48507fa2b18d5f602ba5 /editors | |
| parent | 1423e70aee9385d814b0fcd835fb256e78275262 (diff) | |
forget to set the last_checked, if the ols version matches the current one.
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/vscode/src/extension.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts index fed66db..62c47aa 100644 --- a/editors/vscode/src/extension.ts +++ b/editors/vscode/src/extension.ts @@ -320,6 +320,7 @@ async function getServer(config: Config, state: PersistentState): Promise<string }); if (release === undefined || release.id === state.releaseId) { + await state.updateLastCheck(Date.now()); return destExecutable; } |