diff options
author | Siri Hansen <[email protected]> | 2018-09-07 12:16:00 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2018-09-07 12:16:00 +0200 |
commit | 3b50bb697121de96d03deffcd65ed5859de86558 (patch) | |
tree | f932ca5be98cdc5521ca48cf453bf51e273c893a /make | |
parent | 5801fcb2b36e04c433dcf0b90a8c47b86e34fc07 (diff) | |
download | otp-3b50bb697121de96d03deffcd65ed5859de86558.tar.gz otp-3b50bb697121de96d03deffcd65ed5859de86558.tar.bz2 otp-3b50bb697121de96d03deffcd65ed5859de86558.zip |
[supervisor] Add warning about race condition
ERL-724: "During a 'gentle' shutdown, supervisors unlink from their
children before sending shutdown signals to them. This can lead to a
race condition in supervision trees, when the timeout for gentle
shutdown of a parent supervisor expires and it kills a child
supervisor that has just unlinked from a child of its own, leaving the
child supervisor's own child still running after its supervisor is
killed."
This commit adds a warning about this in the documentation.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions