jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-13 14:26:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update/download the library_index.json at start

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2019-08-02 13:35:25 +02:00 committed by jbicker
parent 692c3f6e3f
commit b6306c330f
1 changed files with 53 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
arduino-ide-extension/src/node/core-client-provider-impl.ts
View File

@ -6,7 +6,9 @@ import {
InitReq, InitReq,
Configuration, Configuration,
UpdateIndexReq, UpdateIndexReq,
UpdateIndexResp UpdateIndexResp,
UpdateLibrariesIndexReq,
UpdateLibrariesIndexResp
} from './cli-protocol/commands/commands_pb'; } from './cli-protocol/commands/commands_pb';
import { WorkspaceServiceExt } from '../browser/workspace-service-ext'; import { WorkspaceServiceExt } from '../browser/workspace-service-ext';
import { FileSystem } from '@theia/filesystem/lib/common'; import { FileSystem } from '@theia/filesystem/lib/common';
@ -111,20 +113,34 @@ export class CoreClientProviderImpl implements CoreClientProvider {
} }
// in a separate promise, try and update the index // in a separate promise, try and update the index
let succeeded = true; let indexUpdateSucceeded = true;
for (let i = 0; i < 10; i++) { for (let i = 0; i < 10; i++) {
try { try {
await this.updateIndex(client, instance); await this.updateIndex(client, instance);
succeeded = true; indexUpdateSucceeded = true;
break; break;
} catch (e) { } catch (e) {
this.toolOutputService.publishNewOutput("daemon", `Error while updating index in attempt ${i}: ${e}`); this.toolOutputService.publishNewOutput("daemon", `Error while updating index in attempt ${i}: ${e}`);
} }
} }
if (!succeeded) { if (!indexUpdateSucceeded) {
this.toolOutputService.publishNewOutput("daemon", `Was unable to update the index. Please restart to try again.`); this.toolOutputService.publishNewOutput("daemon", `Was unable to update the index. Please restart to try again.`);
} }
let libIndexUpdateSucceeded = true;
for (let i = 0; i < 10; i++) {
try {
await this.updateLibraryIndex(client, instance);
libIndexUpdateSucceeded = true;
break;
} catch (e) {
this.toolOutputService.publishNewOutput("daemon", `Error while updating library index in attempt ${i}: ${e}`);
}
}
if (!libIndexUpdateSucceeded) {
this.toolOutputService.publishNewOutput("daemon", `Was unable to update the library index. Please restart to try again.`);
}
const result = { const result = {
client, client,
instance instance
@ -134,6 +150,38 @@ export class CoreClientProviderImpl implements CoreClientProvider {
return result; return result;
} }
protected async updateLibraryIndex(client: ArduinoCoreClient, instance: Instance): Promise<void> {
const req = new UpdateLibrariesIndexReq();
req.setInstance(instance);
const resp = client.updateLibrariesIndex(req);
let file: string | undefined;
resp.on('data', (data: UpdateLibrariesIndexResp) => {
const progress = data.getDownloadProgress();
if (progress) {
if (!file && progress.getFile()) {
file = `${progress.getFile()}`;
}
if (progress.getCompleted()) {
if (file) {
if (/\s/.test(file)) {
this.toolOutputService.publishNewOutput("daemon", `${file} completed.\n`);
} else {
this.toolOutputService.publishNewOutput("daemon", `Download of '${file}' completed.\n'`);
}
} else {
this.toolOutputService.publishNewOutput("daemon", `The library index has been successfully updated.\n'`);
}
file = undefined;
}
}
});
await new Promise<void>((resolve, reject) => {
resp.on('error', reject);
resp.on('end', resolve);
});
}
protected async updateIndex(client: ArduinoCoreClient, instance: Instance): Promise<void> { protected async updateIndex(client: ArduinoCoreClient, instance: Instance): Promise<void> {
const updateReq = new UpdateIndexReq(); const updateReq = new UpdateIndexReq();
updateReq.setInstance(instance); updateReq.setInstance(instance);