From 229a849658fa3dfb44e91608054f96a50ccc6678 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Tue, 22 Nov 2011 00:59:38 -0500
Subject: [PATCH] kludge to make things work on the android.

---
 web-world/js-impl.js | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/web-world/js-impl.js b/web-world/js-impl.js
index 5622eb1..d0c4915 100644
--- a/web-world/js-impl.js
+++ b/web-world/js-impl.js
@@ -628,11 +628,21 @@
 
 
 
+    var rscript = /<script\b[^<]*(?:(?!<\/script>)<[^<]*)*<\/script>/gi;
 
+    // We have to do some kludgery to support the android browser,
+    // which does not properly parse <link ...>.
+    var rlink = /<link\b[^\/>]* \/>(.*?)/gi;
 
     var parseStringAsHtml = function(str) {
         var div = document.createElement("div");
-        div.innerHTML = str;
+        // inject the contents of the document in, removing the scripts
+	// to avoid any 'Permission Denied' errors in IE
+        div.innerHTML = str.replace(rscript, "").replace(rlink, "");
+        var linkMatches = str.match(rlink);
+        for (var i = 0; i < linkMatches.length; i++) {
+            $(div).append($(linkMatches[i]));
+        }
         return $(div);
     };