@@ -106,12 +105,12 @@ export class ExtensionsScanner extends Disposable {
...
@@ -106,12 +105,12 @@ export class ExtensionsScanner extends Disposable {
try{
try{
awaitpfs.rimraf(extensionPath);
awaitpfs.rimraf(extensionPath);
}catch(e){/* ignore */}
}catch(e){/* ignore */}
thrownewExtensionManagementError(localize('errorDeleting',"Unable to delete the existing folder '{0}' while installing the extension '{1}'. Please delete the folder manually and try again",extensionPath,identifier.id),INSTALL_ERROR_DELETING);
thrownewExtensionManagementError(localize('errorDeleting',"Unable to delete the existing folder '{0}' while installing the extension '{1}'. Please delete the folder manually and try again",extensionPath,identifierWithVersion.id),INSTALL_ERROR_DELETING);