Merge pull request #147 from takluyver/sigint-no-tty-die
Die immediately on SIGINT if not in a tty
commit
5da299eb93
Loading…
Reference in new issue
Die immediately on SIGINT if not in a tty