comparison lib/js/urweb.js @ 1942:a671e5258a2c

Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Dec 2013 12:10:03 -0500
parents b6aee1d5b9b1
children 334b5cbff198 b2254554542f
comparison
equal deleted inserted replaced
1941:9f3597979e98 1942:a671e5258a2c
1573 function rv(chn, parse, k) { 1573 function rv(chn, parse, k) {
1574 if (!maySuspend) 1574 if (!maySuspend)
1575 er("May not 'recv' in main thread of 'code' for <active>"); 1575 er("May not 'recv' in main thread of 'code' for <active>");
1576 1576
1577 if (chn == null) 1577 if (chn == null)
1578 return; 1578 er("Client-side code tried to recv() from a channel belonging to a different page view.");
1579 1579
1580 if (chn < 0) 1580 if (chn < 0)
1581 whine("Out-of-bounds channel receive"); 1581 whine("Out-of-bounds channel receive");
1582 1582
1583 var ch; 1583 var ch;