Replace the ID of the generated connection profile with the one through edit data (#10413)

This commit is contained in:
Amir Omidi
2020-05-15 10:48:56 -07:00
committed by GitHub
parent 19fab3fc9c
commit b519d51052
3 changed files with 7 additions and 1 deletions

View File

@@ -328,6 +328,7 @@ export interface INewConnectionParams {
showDashboard?: boolean; showDashboard?: boolean;
providers?: string[]; providers?: string[];
isEditConnection?: boolean; isEditConnection?: boolean;
oldProfileId?: string; // used for edit connection
} }
export interface IConnectableInput { export interface IConnectableInput {

View File

@@ -166,6 +166,10 @@ export class ConnectionDialogService implements IConnectionDialogService {
} }
profile = result.connection; profile = result.connection;
if (params.oldProfileId && params.isEditConnection) {
profile.id = params.oldProfileId;
}
profile.serverName = trim(profile.serverName); profile.serverName = trim(profile.serverName);
// append the port to the server name for SQL Server connections // append the port to the server name for SQL Server connections

View File

@@ -236,7 +236,8 @@ export class ConnectionManagementService extends Disposable implements IConnecti
} }
let params = { let params = {
connectionType: ConnectionType.default, connectionType: ConnectionType.default,
isEditConnection: true isEditConnection: true,
oldProfileId: model.id
}; };
try { try {