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
..
2016-06-04 07:24:40 -04:00