jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-26 11:38:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix IDE updater commands (#872)

Browse Source 
* fix IDE updater commands

* reinitialise autoupdate when preferences change

* fix typo + add i18n strings
This commit is contained in:
Alberto Iannaccone
2022-03-01 16:34:43 +00:00
committed by GitHub
parent a5a6a0b611
commit 96b5edf427
8 changed files with 110 additions and 102 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/common/protocol/ide-updater.ts
View File

@@ -46,7 +46,7 @@ export interface ProgressInfo {
export const IDEUpdaterPath = '/services/ide-updater';
export const IDEUpdater = Symbol('IDEUpdater');
export interface IDEUpdater extends JsonRpcServer<IDEUpdaterClient> {
init(channel: UpdateChannel, baseUrl: string): void;
init(channel: UpdateChannel, baseUrl: string): Promise<void>;
checkForUpdates(initialCheck?: boolean): Promise<UpdateInfo | void>;
downloadUpdate(): Promise<void>;
quitAndInstall(): void;