| 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 |
| Tue, 09 Sep 2008 16:16:20 +0200 | paulson | more careful exception handling in order to prevent backtracking; miscellaneous tidying up. | changeset | files |
| Tue, 09 Sep 2008 16:15:25 +0200 | paulson | Increasing the default limits in order to prevent unnecessary failures. | changeset | files |