From 59fbe515a0462e98ab3cbb78a1f136f382ab927a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 25 Jul 2012 08:20:15 -0400 Subject: Change 'spawn' implementation to allow blocking within --- lib/js/urweb.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lib/js') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 56066d26..1beb63c3 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1297,7 +1297,7 @@ function redirect(s) { function rc(prefix, uri, parse, k, needsSig) { if (!maySuspend) - er("May not 'rpc' in 'code' for "); + er("May not 'rpc' in main thread of 'code' for "); uri = cat(prefix, uri); uri = flattenLocal(uri); @@ -1478,7 +1478,7 @@ function listener() { function rv(chn, parse, k) { if (!maySuspend) - er("May not 'recv' in 'code' for "); + er("May not 'recv' in main thread of 'code' for "); if (chn == null) return; @@ -1508,13 +1508,13 @@ function rv(chn, parse, k) { function sl(ms, k) { if (!maySuspend) - er("May not 'sleep' in 'code' for "); + er("May not 'sleep' in main thread of 'code' for "); window.setTimeout(function() { k(null); }, ms); } function sp(e) { - execF(e, null); + window.setTimeout(function() { execF(e); }, 0); } -- cgit v1.2.3