Merge pull request #245 from jupyterlab/fix-federated-extensions

Fix handling of federated extensions
pull/6294/head
Jeremy Tuloup 4 years ago committed by GitHub
commit 552abaac52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -290,14 +290,13 @@ async function main() {
});
// Add the federated extensions.
// TODO: Add support for disabled extensions
const federatedExtensions = await Promise.allSettled(
federatedExtensionPromises
);
federatedExtensions.forEach(p => {
if (p.status === 'fulfilled') {
for (let plugin of activePlugins(p.value)) {
baseMods.push(plugin);
mods.push(plugin);
}
} else {
console.error(p.reason);

Loading…
Cancel
Save