From 0df9e1cee4e4be16d1253f4a5ac16b94e8a5c0d7 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Mon, 14 Feb 2022 11:25:48 +0100
Subject: [PATCH] Add gRPC user agent

---
 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 c4e5655c7..af5695dc4 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()}`
     };
   }
 }