development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 13:00:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #162103 (#162199)

Browse source
This commit is contained in:
Sandeep Somavarapu 2022-09-28 16:57:19 +02:00 committed by GitHub
parent 3918cc137a
commit 7fc4f97bbb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/vs/workbench/services/extensionManagement/common/extensionManagementService.ts
View file

@ -96,26 +96,26 @@ export class ExtensionManagementService extends Disposable implements IWorkbench
}
if (this.servers.length > 1) {
if (isLanguagePackExtension(extension.manifest)) {
return this.uninstallEverywhere(extension);
return this.uninstallEverywhere(extension, options);
}
return this.uninstallInServer(extension, server, options);
}
return server.extensionManagementService.uninstall(extension);
return server.extensionManagementService.uninstall(extension, options);
}
private async uninstallEverywhere(extension: ILocalExtension): Promise<void> {
private async uninstallEverywhere(extension: ILocalExtension, options?: UninstallOptions): Promise<void> {
const server = this.getServer(extension);
if (!server) {
return Promise.reject(`Invalid location ${extension.location.toString()}`);
}
const promise = server.extensionManagementService.uninstall(extension);
const promise = server.extensionManagementService.uninstall(extension, options);
const otherServers: IExtensionManagementServer[] = this.servers.filter(s => s !== server);
if (otherServers.length) {
for (const otherServer of otherServers) {
const installed = await otherServer.extensionManagementService.getInstalled();
extension = installed.filter(i => !i.isBuiltin && areSameExtensions(i.identifier, extension.identifier))[0];
if (extension) {
await otherServer.extensionManagementService.uninstall(extension);
await otherServer.extensionManagementService.uninstall(extension, options);
}
}
}