diff options
author | Robert Jefe Lindstaedt <robert.lindstaedt@gmail.com> | 2016-04-05 10:20:10 +0200 |
---|---|---|
committer | James M Snell <jasnell@gmail.com> | 2016-04-26 12:15:56 -0700 |
commit | d66d028edc2292955f4fce92516018524e66c664 (patch) | |
tree | 903fd50a421f5bae009bf92d61e27b4bc0eefbed /tools/eslint/lib/rules/no-irregular-whitespace.js | |
parent | bcb37f0b133a75704a3775c69391f6e8886f56bd (diff) | |
download | node-new-d66d028edc2292955f4fce92516018524e66c664.tar.gz |
doc: describe child.kill() pitfalls on linux
This commit refines the documentation around child.kill(), where kill
attempts against shells will lead to unexpected results. Namely, on
linux the child process of a child process will not terminate, when
its parent gets terminated. This is different across the the
platforms.
PR-URL: https://github.com/nodejs/node/issues/2098
Reviewed-By: Benjamin Gruenbaum <benjamingr@gmail.com>
Closes: https://github.com/nodejs/node/issues/2098
Diffstat (limited to 'tools/eslint/lib/rules/no-irregular-whitespace.js')
0 files changed, 0 insertions, 0 deletions