From 6331b9021cd75c3f300cf1c57557610542229d35 Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Tue, 9 Jan 2024 12:49:05 +1100 Subject: [PATCH] Track remote server names (#15002) --- .../userJupyterServer/userServerUrlProvider.ts | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/standalone/userJupyterServer/userServerUrlProvider.ts b/src/standalone/userJupyterServer/userServerUrlProvider.ts index cf279319c3a..775844ba12f 100644 --- a/src/standalone/userJupyterServer/userServerUrlProvider.ts +++ b/src/standalone/userJupyterServer/userServerUrlProvider.ts @@ -76,6 +76,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'; @@ -724,6 +725,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) {