comparison 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
comparison
equal deleted inserted replaced
681:6c9b8875f347 682:5bbb542243e8
299 299
300 connect(); 300 connect();
301 } 301 }
302 302
303 function rv(chn, parse, k) { 303 function rv(chn, parse, k) {
304 if (chn == null)
305 return;
306
304 if (chn < 0) 307 if (chn < 0)
305 whine("Out-of-bounds channel receive"); 308 whine("Out-of-bounds channel receive");
306 309
307 var ch; 310 var ch;
308 311