chiark / gitweb /
log: rework logging logic so that we don't keep /dev/console open