| Tue, 09 Sep 2008 16:35:57 +0200 | wenzelm | * Changed defaults for unify configuration options; | changeset | files |
| Tue, 09 Sep 2008 16:29:34 +0200 | wenzelm | inherit group from running thread, or create a new one -- make it harder to re-use canceled groups; | changeset | files |
| Tue, 09 Sep 2008 16:29:32 +0200 | wenzelm | job: explicit 'ok' status -- false for canceled jobs; | changeset | files |
| Tue, 09 Sep 2008 16:17:08 +0200 | paulson | Overall exception handler in order to insulate our users from low-level bugs. | changeset | files |