chiark / gitweb /
Close down databases on database-open error more carefuly. It would