From 6e796eb5fbaf7c842ecdecabd48f8065eaec1084 Mon Sep 17 00:00:00 2001
From: Chad Weider <cweider@oofn.net>
Date: Mon, 3 Sep 2012 14:41:26 -0700
Subject: [PATCH] Make exception case for require kernel obvious.

---
 src/static/js/ace.js | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/static/js/ace.js b/src/static/js/ace.js
index 600b6136e..d7414c17d 100644
--- a/src/static/js/ace.js
+++ b/src/static/js/ace.js
@@ -168,11 +168,9 @@ require.setGlobalKeyPath("require");\n\
       buffer.push(KERNEL_BOOT);
       buffer.push('<\/script>');
     } else {
-      file = KERNEL_SOURCE;
-      buffer.push('<script type="application/javascript" src="' + KERNEL_SOURCE + '"><\/script>');
-      buffer.push('<script type="text/javascript">');
-      buffer.push(KERNEL_BOOT);
-      buffer.push('<\/script>');
+      // Remotely src'd script tag will not work in IE; it must be embedded, so
+      // throw an error if it is not.
+      throw new Error("Require script could not be embedded.");
     } 
   }
   function pushScriptsTo(buffer) {