diff lib/js/urweb.js @ 979:3612ff0c6a10

Main demo pieces all seem to work with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 10:50:23 -0400
parents e1f3f1ea8cff
children 6934343267c0
line wrap: on
line diff
--- a/lib/js/urweb.js	Thu Sep 24 10:42:59 2009 -0400
+++ b/lib/js/urweb.js	Thu Sep 24 10:50:23 2009 -0400
@@ -781,7 +781,7 @@
 
   var msg = dequeue(ch.msgs);
   if (msg == null) {
-    enqueue(ch.listeners, function(msg) { k(parse(msg))(null); });
+    enqueue(ch.listeners, function(msg) { execF(execF(k, parse(msg)), null); });
   } else {
     try {
       execF(execF(k, parse(msg)), null);