diff options
Diffstat (limited to 'lib/js')
-rw-r--r-- | lib/js/urweb.js | 10 |
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); } |