diff lib/js/urweb.js @ 613:c5991cdb0c4b

Initial parsing of RPC results
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 12:33:41 -0500
parents d80256efc160
children fb2a0e76dcef
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Feb 15 11:33:53 2009 -0500
+++ b/lib/js/urweb.js	Sun Feb 15 12:33:41 2009 -0500
@@ -129,7 +129,7 @@
   }
 }
 
-function rc(uri, k) {
+function rc(uri, parse, k) {
   var xhr = getXHR();
 
   xhr.onreadystatechange = function() {
@@ -142,7 +142,7 @@
       } catch (e) { }
 
       if (isok)
-        k(xhr.responseText);
+        k(parse(xhr.responseText));
       else
         alert("Error querying remote server!");
     }