summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-15 12:33:41 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-15 12:33:41 -0500
commitf083e82c95ac4a9d3a22e032f81b6dc88a88f499 (patch)
tree82ba6f2b8547742ce5c12abb628e21a7843db234 /lib/js
parente7fdb6e0f6ab265f3cd850d3663a91b531de8ba8 (diff)
Initial parsing of RPC results
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index bfca94a4..c78229af 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -129,7 +129,7 @@ function getXHR()
}
}
-function rc(uri, k) {
+function rc(uri, parse, k) {
var xhr = getXHR();
xhr.onreadystatechange = function() {
@@ -142,7 +142,7 @@ function rc(uri, k) {
} catch (e) { }
if (isok)
- k(xhr.responseText);
+ k(parse(xhr.responseText));
else
alert("Error querying remote server!");
}