fix: retry compilation if grpc client needs to be reinitialized

See #2547

Author: giacomocusinato

Diff for: arduino-ide-extension/src/browser/contributions/verify-sketch.ts

@@ -131,14 +131,22 @@ export class VerifySketch extends CoreServiceContribution {
           'arduino/sketch/compile',
           'Compiling sketch...'
         ),
-        task: (progressId, coreService, token) =>
-          coreService.compile(
-            {
-              ...options,
-              progressId,
-            },
-            token
-          ),
+        task: async (progressId, coreService, token) => {
+          const compile = () =>
+            coreService.compile({ ...options, progressId }, token);
+
+          try {
+            await compile();
+          } catch (e) {
+            if (e.code === 4006) {
+              // If client instance is expired, silently refresh and retry
+              await coreService.refresh();
+              await compile();
+            } else {
+              throw e;
+            }
+          }
+        },
         cancelable: true,
       });
       this.messageService.info(

Diff for: arduino-ide-extension/src/common/protocol/core-service.ts

@@ -72,6 +72,7 @@ export namespace CoreError {
     UploadUsingProgrammer: 4003,
     BurnBootloader: 4004,
     UploadRequiresProgrammer: 4005,
+    ClientInstanceExpired: 4006,
   };
   export const VerifyFailed = declareCoreError(Codes.Verify);
   export const UploadFailed = declareCoreError(Codes.Upload);
@@ -82,6 +83,9 @@ export namespace CoreError {
   export const UploadRequiresProgrammer = declareCoreError(
     Codes.UploadRequiresProgrammer
   );
+  export const ClientInstanceExpired = declareCoreError(
+    Codes.ClientInstanceExpired
+  );
 
   export function is(
     error: unknown

Diff for: arduino-ide-extension/src/node/core-service-impl.ts

@@ -112,6 +112,15 @@ export class CoreServiceImpl extends CoreClientAware implements CoreService {
             reject(UserAbortApplicationError());
             return;
           }
+
+          if (
+            ServiceError.isInvalidArgument(error) &&
+            error.details.includes('instance is no longer valid')
+          ) {
+            reject(CoreError.ClientInstanceExpired());
+            return;
+          }
+
           const compilerErrors = tryParseError({
             content: handler.content,
             sketch: options.sketch,