addressed an issue so Pool responds to Ctrl-C