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

Add gRPC user agent (#834)

Browse Source
This commit is contained in:
Silvano Cerza 2022-02-14 12:39:48 +01:00 committed by GitHub
parent 877c1a1559
commit 5ab3a747a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/node/grpc-client-provider.ts
View File

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