1 files changed, 0 insertions, 7 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 39f9f7cf..c7cecbbf 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -300,17 +300,10 @@ function listener() {
   connect();
 }
 
-var listener_started = false;
-
 function rv(chn, parse, k) {
   if (chn < 0)
     whine("Out-of-bounds channel receive");
 
-  if (!listener_started) {
-    listener_started = true;
-    listener();
-  }
-
   var ch;
 
   if (chn >= channels.length || channels[chn] == null) {