summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-04-09 14:36:47 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-04-09 14:36:47 -0400
commit51b2033057b25f4cecd3d5e73dc49b60b532834e (patch)
tree129120a683d01c00c6deb50349c48d8975dfd573 /lib
parent039b577f61a2bdf98abe10c5f10c8e3539a59d19 (diff)
Each context gets its own non-repeating sequence of source numbers
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js8
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 3cb667d6..f5764896 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -734,8 +734,14 @@ function rc(prefix, uri, parse, k, needsSig) {
} catch (e) { }
if (isok) {
+ var lines = xhr.responseText.split("\n");
+ if (lines.length != 2)
+ whine("Bad RPC response lines");
+
+ eval(lines[0]);
+
try {
- k(parse(xhr.responseText));
+ k(parse(lines[1]));
} catch (v) {
doExn(v);
}