Exit workers on sigint rather than ignore

Review Request #1405 - Created Nov. 26, 2014 and submitted

Information
David Taylor
pants
829
610302b...
Reviewers
pants-reviews
patricklaw, zundel

Exit workers on sigint rather than ignore

https://travis-ci.org/pantsbuild/pants/builds/42139656

Also: ctrl-c'ed in the middle of cache fetch with and without this change.

Without: observe dots continue to print for several seconds after main process appears to exit. killall python required to stop them.
With: dots stop printing immediately, no python processes running.

Eric Ayers
Johan Oskarsson
David Taylor
Eric Ayers
Patrick Lawson
John Sirois
David Taylor
John Sirois
David Taylor
Review request changed

Status: Closed (submitted)

Change Summary:

064b2212376ea8d522dcfc796a233861ebff46a0
Loading...