| Thu, 28 Sep 2023 19:36:54 +0200 | wenzelm | tuned: prefer try-catch/finally over low-level 'handle'; | changeset | files |
| Thu, 28 Sep 2023 14:43:07 +0200 | wenzelm | clarified treatment of exceptions: avoid catch-all handlers; | changeset | files |
| Thu, 28 Sep 2023 11:30:01 +0200 | wenzelm | clarified output vs. error: presence of error messages means error (see also cb7264721c91); | changeset | files |
| Tue, 26 Sep 2023 15:09:31 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Sep 2023 15:04:47 +0200 | wenzelm | more robust management of resources, using Thread_Attributes.uninterruptible; | changeset | files |
| Tue, 26 Sep 2023 15:03:02 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Sep 2023 14:42:33 +0200 | wenzelm | clarified signature; | changeset | files |