Update index after modifying the 3rd party URLs.

Akos Kitta · Akos Kitta · commit 8caa6275067c · 2021-03-29T16:06:44.000+02:00
Signed-off-by: Akos Kitta &lt;kittaakos@typefox.io&gt;
diff --git a/arduino-ide-extension/src/node/core-client-provider.ts b/arduino-ide-extension/src/node/core-client-provider.ts
@@ -24,7 +24,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) {

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ export class CoreClientProvider extends GrpcClientProvider<CoreClientProvider.Cl`
`24`	`24`	`client.client.close();`
`25`	`25`	`}`
`26`	`26`
`27`		`- protected async reconcileClient(port: string \| undefined): Promise<void> {`
	`27`	`+ protected async reconcileClient(port: string \| number \| undefined): Promise<void> {`
`28`	`28`	`if (port && port === this._port) {`
`29`	`29`	`// No need to create a new gRPC client, but we have to update the indexes.`
`30`	`30`	`if (this._client) {`