chiark / gitweb /
shutdown, umount: logging improvements