chiark / gitweb /
log: when we log to /dev/console and got disconnected (maybe due to vhangup) reconnect