diff lib/js/urweb.js @ 682:5bbb542243e8

Redo channels, making them single-client
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 11:37:29 -0400
parents 6c9b8875f347
children 3b46548f701b
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Mar 28 11:15:42 2009 -0400
+++ b/lib/js/urweb.js	Sun Mar 29 11:37:29 2009 -0400
@@ -301,6 +301,9 @@
 }
 
 function rv(chn, parse, k) {
+  if (chn == null)
+    return;
+
   if (chn < 0)
     whine("Out-of-bounds channel receive");