From a4170a63344461771ef03c55fd0d653300600a15 Mon Sep 17 00:00:00 2001 From: Chris Willis-Ford Date: Mon, 18 Aug 2014 11:28:03 -0700 Subject: [PATCH] TEMP: Only allow internal extensions (Pico/WeDo) --- src/extensions/ExtensionManager.as | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/extensions/ExtensionManager.as b/src/extensions/ExtensionManager.as index 4f630f12b..a051678c0 100644 --- a/src/extensions/ExtensionManager.as +++ b/src/extensions/ExtensionManager.as @@ -94,7 +94,8 @@ public class ExtensionManager { if (ext && ext.showBlocks != flag) { ext.showBlocks = flag; if(app.jsEnabled && ext.javascriptURL) { - if(flag) { + // TEMPORARY HOTFIX: Only allow activation of internal extensions while we figure out what to do about an apparent extension security problem. + if(flag && ext.isInternal) { var javascriptURL:String = ext.isInternal ? Scratch.app.fixExtensionURL(ext.javascriptURL) : ext.javascriptURL; app.externalCall('ScratchExtensions.loadExternalJS', null, javascriptURL); ext.showBlocks = false; // Wait for it to load