This may or may not be the right thing to do - an alternative would be to ignore SIGINT, but that would make the popen() job unkillable by normal means! So we'll try this and see how well it works. Fixes #124
This may or may not be the right thing to do - an alternative would be to ignore SIGINT, but that would make the popen() job unkillable by normal means! So we'll try this and see how well it works. Fixes #124