Andrew Halberstadt 464b3a9f2e Bug 1273556 - [mozlint] Better SIGINT handling, return partial results on Ctrl-C, r=jgraham ... Currently a bug in python (https://bugs.python.org/issue8296) is preventing a KeyboardInterrupt from reaching the parent process, meaning we can't kill the process with SIGINT. There is a workaround to this bug, but instead I decided to ignore SIGINT in the parent process completely. Now, each child process is responsible for handling SIGINT on its own. Since child processes should all shutdown relatively quickly anyway, this effectively also ends the parent process. The benefit of doing it this way is that each child process can return the results they have collected to date. So when a developer hits Ctrl-C, they'll still see some (but not all) formatted lint output. The downside is that a poorly implemented external linter could block the parent process from exiting quickly, but if this happens we should just fix the linter. MozReview-Commit-ID: 2tRJgtmoPYP --HG-- extra : rebase_source : e72282bcc29c9b22690168dc973a817236cdf8ca		2016-05-17 12:24:42 -04:00
..
mozlint	Bug 1273556 - [mozlint] Better SIGINT handling, return partial results on Ctrl-C, r=jgraham	2016-05-17 12:24:42 -04:00
test	Bug 1270506 - [mozlint] Add python flake8 linter, r=smacleod	2016-05-05 17:21:12 -04:00
setup.py	…