From b3feb601a020c997228f4d8808db8403509b729b Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Tue, 9 Jan 2024 23:10:03 +1100 Subject: [PATCH] Cache name of remote servers (#15003) --- .../userJupyterServer/userServerUrlProvider.ts | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/standalone/userJupyterServer/userServerUrlProvider.ts b/src/standalone/userJupyterServer/userServerUrlProvider.ts index 16e45de6d07..2826787463c 100644 --- a/src/standalone/userJupyterServer/userServerUrlProvider.ts +++ b/src/standalone/userJupyterServer/userServerUrlProvider.ts @@ -71,6 +71,7 @@ import { getTelemetrySafeHashedString } from '../../platform/telemetry/helpers'; import { generateIdFromRemoteProvider } from '../../kernels/jupyter/jupyterUtils'; import { isWeb } from '../../platform/vscode-path/platform'; import { DisposableBase } from '../../platform/common/utils/lifecycle'; +import { trackRemoteServerDisplayName } from '../../kernels/jupyter/connection/jupyterServerProviderRegistry'; export const UserJupyterServerUriListKey = 'user-jupyter-server-uri-list'; export const UserJupyterServerUriListKeyV2 = 'user-jupyter-server-uri-list-version2'; @@ -623,6 +624,15 @@ export class UserJupyterServerUrlProvider uri: url, serverInfo: jupyterServerUri }); + trackRemoteServerDisplayName( + { + extensionId: this.extensionId, + id: this.id, + handle + }, + jupyterServerUri.displayName + ); + sendRemoteTelemetryForAdditionOfNewRemoteServer(handle, jupyterServerUri.baseUrl, isJupyterHub); return handle; } catch (ex) {