mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-09 18:38:33 +00:00
Automatically check for updates only once (#863)
* Automatically check for updates only once * set windows version to 2019 on CI
This commit is contained in:
committed by
GitHub
parent
481497e384
commit
baa9b5f7ab
@@ -47,7 +47,7 @@ export const IDEUpdaterPath = '/services/ide-updater';
|
||||
export const IDEUpdater = Symbol('IDEUpdater');
|
||||
export interface IDEUpdater extends JsonRpcServer<IDEUpdaterClient> {
|
||||
init(channel: UpdateChannel): void;
|
||||
checkForUpdates(): Promise<UpdateInfo | void>;
|
||||
checkForUpdates(initialCheck?: boolean): Promise<UpdateInfo | void>;
|
||||
downloadUpdate(): Promise<void>;
|
||||
quitAndInstall(): void;
|
||||
stopDownload(): void;
|
||||
|
||||
Reference in New Issue
Block a user