Thu, 09 Oct 2008 20:53:17 +0200 | wenzelm | added fail-safe interrupt; | changeset | files |
Thu, 09 Oct 2008 20:53:16 +0200 | wenzelm | subject to Multithreading.enabled; | changeset | files |
Thu, 09 Oct 2008 20:53:15 +0200 | wenzelm | future result: Interrupt invalidates group, but pretends success otherwise; | changeset | files |