| Sun, 16 Jul 2023 21:01:33 +0200 | wenzelm | reuse SSH.Server connection database server; | changeset | files |
| Sun, 16 Jul 2023 19:38:12 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 16 Jul 2023 19:30:10 +0200 | wenzelm | make double-sure that this is a transaction context, notably for LOCK TABLE; | changeset | files |
| Sun, 16 Jul 2023 19:13:08 +0200 | wenzelm | more robust Java/Scala multithreading: transaction is always connection.synchronized; | changeset | files |