chiark / gitweb /
shared: logs-show: fflush after each output type