chiark / gitweb /
better logging of manual flush