From d99d4f09bb2947a09eb6e1c12057bd805dac070c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 27 Dec 2013 12:10:03 -0500
Subject: Raise exception when recv()ing from someone else's channel; improve
 setting of client ID in RPCs

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/js')

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");
-- 
cgit v1.2.3