comparison lib/js/urweb.js @ 1446:36f7d1debb37

Each context gets its own non-repeating sequence of source numbers
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Apr 2011 14:36:47 -0400
parents 449a12b82db7
children 17393c5e2b90
comparison
equal deleted inserted replaced
1445:6e6f1643c4e9 1446:36f7d1debb37
732 if (xhr.status == 200) 732 if (xhr.status == 200)
733 isok = true; 733 isok = true;
734 } catch (e) { } 734 } catch (e) { }
735 735
736 if (isok) { 736 if (isok) {
737 var lines = xhr.responseText.split("\n");
738 if (lines.length != 2)
739 whine("Bad RPC response lines");
740
741 eval(lines[0]);
742
737 try { 743 try {
738 k(parse(xhr.responseText)); 744 k(parse(lines[1]));
739 } catch (v) { 745 } catch (v) {
740 doExn(v); 746 doExn(v);
741 } 747 }
742 } else { 748 } else {
743 conn(); 749 conn();