From 369a8f4307d4abe2a1ba33948763dcdd5eba5ab2 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Mon, 29 Mar 2021 13:05:52 +0200
Subject: [PATCH] Update index after modifying the 3rd party URLs.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 arduino-ide-extension/src/node/core-client-provider.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/node/core-client-provider.ts b/arduino-ide-extension/src/node/core-client-provider.ts
index 0cbf307c..d6a88b77 100644
--- a/arduino-ide-extension/src/node/core-client-provider.ts
+++ b/arduino-ide-extension/src/node/core-client-provider.ts
@@ -25,7 +25,7 @@ export class CoreClientProvider extends GrpcClientProvider<CoreClientProvider.Cl
         client.client.close();
     }
 
-    protected async reconcileClient(port: string | undefined): Promise<void> {
+    protected async reconcileClient(port: string | number | undefined): Promise<void> {
         if (port && port === this._port) {
             // No need to create a new gRPC client, but we have to update the indexes.
             if (this._client && !(this._client instanceof Error)) {