chiark / gitweb /
[PATCH] remove the database at startup.