Sat, 13 Nov 2010 11:41:02 +0100 | wenzelm | await_cancellation in the main thread, independently of the execution futures, which might get interrupted or be absent after node deletetion; | changeset | files |
Sat, 13 Nov 2010 00:24:41 +0100 | wenzelm | updated README; | changeset | files |
Fri, 12 Nov 2010 21:37:01 +0100 | wenzelm | defensive defaults for more robust experience for new users; | changeset | files |