| Tue, 27 Jun 2023 11:39:02 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 27 Jun 2023 11:17:52 +0200 | wenzelm | more robust close() after failed initialization; | changeset | files |
| Tue, 27 Jun 2023 10:24:32 +0200 | wenzelm | avoid repeated open_database_server: synchronized transaction_lock; | changeset | files |
| Tue, 27 Jun 2023 10:05:33 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 27 Jun 2023 09:55:44 +0200 | wenzelm | more robust: proper transaction_lock; | changeset | files |
| Tue, 27 Jun 2023 09:42:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Jun 2023 23:20:32 +0200 | wenzelm | tuned signature; | changeset | files |