Each context gets its own non-repeating sequence of source numbers

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);
                 }