kill -INT rather than -HUP on disconnect