From 5ab3a747a6e8bf551b5c0e59a98154d387e0a200 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <3314350+silvanocerza@users.noreply.github.com>
Date: Mon, 14 Feb 2022 12:39:48 +0100
Subject: [PATCH] Add gRPC user agent (#834)

---
 arduino-ide-extension/src/node/grpc-client-provider.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arduino-ide-extension/src/node/grpc-client-provider.ts b/arduino-ide-extension/src/node/grpc-client-provider.ts
index c4e5655c..af5695dc 100644
--- a/arduino-ide-extension/src/node/grpc-client-provider.ts
+++ b/arduino-ide-extension/src/node/grpc-client-provider.ts
@@ -1,4 +1,5 @@
 import { inject, injectable, postConstruct } from 'inversify';
+import { app } from 'electron';
 import { ILogger } from '@theia/core/lib/common/logger';
 import { MaybePromise } from '@theia/core/lib/common/types';
 import { ConfigServiceImpl } from './config-service-impl';
@@ -73,6 +74,7 @@ export abstract class GrpcClientProvider<C> {
     return {
       'grpc.max_send_message_length': 512 * 1024 * 1024,
       'grpc.max_receive_message_length': 512 * 1024 * 1024,
+      'grpc.primary_user_agent': `arduino-ide/${app.getVersion()}`
     };
   }
 }