chiark / gitweb /
log: don't reopen /dev/console each time we call log_open()