| Mon, 17 Jul 2023 12:16:12 +0200 | wenzelm | more complete check; | changeset | files |
| Mon, 17 Jul 2023 12:15:06 +0200 | wenzelm | clarified signature: more specific exists_table --- avoid retrieving full list beforehand; | changeset | files |
| Mon, 17 Jul 2023 11:39:32 +0200 | wenzelm | reuse database_server connection; | changeset | files |
| Mon, 17 Jul 2023 11:20:28 +0200 | wenzelm | more informative trace; | changeset | files |
| 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 |