Archived
1
0

fix(lib/vscode): update extensionManagementService

Looks like a few import updates and one minor update for language packs.

We had made this change ourselves, but now it's officially in the vscode
codebase. Super cool.
This commit is contained in:
Joe Previte 2021-03-11 11:14:35 -07:00
parent 8512be85a5
commit cc8e4ee97c
No known key found for this signature in database
GPG Key ID: 2C91590C6B742C24
2 changed files with 11 additions and 24 deletions

View File

@ -78,12 +78,6 @@
// Do nothing. If we can't read the file we have no
// language pack config.
}
}, err => {
if (err.code === 'ENOENT') {
return undefined;
}
throw err;
});
}
function readFile(file) {
@ -131,6 +125,8 @@
// Do nothing. If we can't read the file we have no
// language pack config.
}
return undefined;
}
/**
* @param {object} config

View File

@ -24,12 +24,9 @@ import { IDialogService } from 'vs/platform/dialogs/common/dialogs';
import Severity from 'vs/base/common/severity';
import { canceled } from 'vs/base/common/errors';
import { IUserDataAutoSyncEnablementService, IUserDataSyncResourceEnablementService, SyncResource } from 'vs/platform/userDataSync/common/userDataSync';
<<<<<<< HEAD
import { isWeb } from 'vs/base/common/platform';
=======
import { Promises } from 'vs/base/common/async';
import { IWorkspaceTrustService, WorkspaceTrustState } from 'vs/platform/workspace/common/workspaceTrust';
>>>>>>> e8cd17a97d8c58fffcbac05394b3ee2b3c72d384
export class ExtensionManagementService extends Disposable implements IWorkbenchExtensioManagementService {
@ -263,13 +260,7 @@ export class ExtensionManagementService extends Disposable implements IWorkbench
// Install Language pack on local and remote servers
if (isLanguagePackExtension(manifest)) {
<<<<<<< HEAD
// NOTE@coder: It does not appear language packs can be installed on the web
// extension management server at this time. Filter out the web to fix this.
servers.push(...this.servers.filter(s => s !== this.extensionManagementServerService.webExtensionManagementServer));
=======
servers.push(...this.servers.filter(server => server !== this.extensionManagementServerService.webExtensionManagementServer));
>>>>>>> e8cd17a97d8c58fffcbac05394b3ee2b3c72d384
} else {
const server = this.getExtensionManagementServerToInstall(manifest);
if (server) {