зеркало из https://github.com/mozilla/gecko-dev.git
464b3a9f2e
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 |
||
|---|---|---|
| .. | ||
| docs | ||
| eslint-formatter.js | ||
| flake8.lint | ||
| mach_commands.py | ||