GH-240: Warn if not connected to the Internet.

Make sure the gRPC client initialization is rejected.

Closes #240.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

Author: Akos Kitta

arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx

@@ -157,6 +157,10 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
 
     @postConstruct()
     protected async init(): Promise<void> {
+        if (!window.navigator.onLine) {
+            // tslint:disable-next-line:max-line-length
+            this.messageService.warn('You appear to be offline. Without an Internet connection, the Arduino CLI might not be able to download the required resources and could cause malfunction. Please connect to the Internet and restart the application.');
+        }
         const updateStatusBar = (config: BoardsConfig.Config) => {
             this.statusBar.setElement('arduino-selected-board', {
                 alignment: StatusBarAlignment.RIGHT,

arduino-ide-extension/src/node/core-client-provider.ts

@@ -38,14 +38,12 @@ export class CoreClientProvider extends GrpcClientProvider<CoreClientProvider.Cl
         const client = new ArduinoCoreClient(`localhost:${port}`, grpc.credentials.createInsecure(), this.channelOptions);
         const initReq = new InitReq();
         initReq.setLibraryManagerOnly(false);
-        const initResp = await new Promise<InitResp>(resolve => {
+        const initResp = await new Promise<InitResp>((resolve, reject) => {
             let resp: InitResp | undefined = undefined;
             const stream = client.init(initReq);
             stream.on('data', (data: InitResp) => resp = data);
             stream.on('end', () => resolve(resp));
-            stream.on('error', err => {
-                console.log('init error', err)
-            });
+            stream.on('error', err => reject(err));
         });
 
         const instance = initResp.getInstance();