chiark / gitweb /
main: make sure we don't accidentally acquire a controlling terminal