kulath 6e8df15dcb 2092: Problems when no database is open. Partial fix. Make checks on the
database consistently check that the database exists and is open. Add a
few missing checks. Remove redundant load and direct close of dummy
database on closure.
2016-07-05 11:19:02 +01:00
..
2015-08-23 18:42:07 +01:00
2015-08-23 18:42:07 +01:00