diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index 944e2e546..5315d90c3 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -51,6 +51,12 @@ function loadExtension(dir, enabled, type) { return; } } + + if (extensions[meta.uuid] != undefined) { + global.logError(baseErrorString + "extension already loaded"); + return; + } + // Encourage people to add this if (!meta['url']) { global.log(baseErrorString + 'Warning: Missing "url" property in metadata.json');