comparison lib/js/urweb.js @ 681:6c9b8875f347

Switch back to starting listener on load
author Adam Chlipala <adamc@hcoop.net>
date Sat, 28 Mar 2009 11:15:42 -0400
parents 44f23712020d
children 5bbb542243e8
comparison
equal deleted inserted replaced
680:54ec237a3028 681:6c9b8875f347
298 }; 298 };
299 299
300 connect(); 300 connect();
301 } 301 }
302 302
303 var listener_started = false;
304
305 function rv(chn, parse, k) { 303 function rv(chn, parse, k) {
306 if (chn < 0) 304 if (chn < 0)
307 whine("Out-of-bounds channel receive"); 305 whine("Out-of-bounds channel receive");
308
309 if (!listener_started) {
310 listener_started = true;
311 listener();
312 }
313 306
314 var ch; 307 var ch;
315 308
316 if (chn >= channels.length || channels[chn] == null) { 309 if (chn >= channels.length || channels[chn] == null) {
317 ch = newChannel(); 310 ch = newChannel();