1 files changed, 29 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c46263b8..9dd4dbbe 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -111,3 +111,32 @@ function cr(n) {
   return closures[n]();
 }
 
+
+function getXHR()
+{
+  try {
+    return new XMLHttpRequest();
+  } catch (e) {
+    try {
+     return new ActiveXObject("Msxml2.XMLHTTP");
+    } catch (e) {
+      try {
+        return new ActiveXObject("Microsoft.XMLHTTP");
+      } catch (e) {
+        throw "Your browser doesn't seem to support AJAX.";
+      }
+    }
+  }
+}
+
+function rc(uri, k) {
+  var xhr = getXHR();
+
+  xhr.onreadystatechange = function() {
+    if (xhr.readyState == 4)
+      k(xhr.responseText);
+  };
+
+  xhr.open("GET", uri, true);
+  xhr.send(null);
+}