From: Stephan Houben (stephanh at planet.nl) Date: Fri Apr 13 14:42:37 EDT 2012 |
|
On 04/12/2012 03:18 PM, Matthew Flatt wrote: > You could use `sync/timeout', instead, to poll the executor. > > I see that the docs for will executors don't mention that they are > syncronizable events, and I'll fix that. Thanks for the amazingly fast response! Stephan
Posted on the users mailing list. |
|