1 files changed, 7 insertions, 3 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 6ca4becd..62f94f52 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -779,10 +779,10 @@ function rv(chn, parse, k) {
 
   var msg = dequeue(ch.msgs);
   if (msg == null) {
-    enqueue(ch.listeners, function(msg) { execF(execF(k, parse(msg)), null); });
+    enqueue(ch.listeners, function(msg) { k(parse(msg)); });
   } else {
     try {
-      execF(execF(k, parse(msg)), null);
+      k(parse(msg));
     } catch (v) {
       doExn(v);
     }
@@ -790,7 +790,11 @@ function rv(chn, parse, k) {
 }
 
 function sl(ms, k) {
-  window.setTimeout(function() { execF(k, null); }, ms);
+  window.setTimeout(function() { k(null); }, ms);
+}
+
+function sp(e) {
+  execF(e, null);
 }