chiark / gitweb /
label: fix database check