chiark / gitweb /
log: reopen console so that we have logging on shutdown