summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-27 12:10:03 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-27 12:10:03 -0500
commitd99d4f09bb2947a09eb6e1c12057bd805dac070c (patch)
tree85f0265a4778128dee390ef80d943cc6c5b0669f /lib
parentaea9e6db8a7a72dd555913a38cb893d247c3c09e (diff)
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index e211d318..6830945a 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1575,7 +1575,7 @@ function rv(chn, parse, k) {
er("May not 'recv' in main thread of 'code' for <active>");
if (chn == null)
- return;
+ er("Client-side code tried to recv() from a channel belonging to a different page view.");
if (chn < 0)
whine("Out-of-bounds channel receive");