mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-10 04:46:33 +00:00
Update index after modifying the 3rd party URLs.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
4e7f8291e8
commit
369a8f4307
@ -25,7 +25,7 @@ export class CoreClientProvider extends GrpcClientProvider<CoreClientProvider.Cl
|
|||||||
client.client.close();
|
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) {
|
if (port && port === this._port) {
|
||||||
// No need to create a new gRPC client, but we have to update the indexes.
|
// No need to create a new gRPC client, but we have to update the indexes.
|
||||||
if (this._client && !(this._client instanceof Error)) {
|
if (this._client && !(this._client instanceof Error)) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user