[PATCH] - supervisor, atomically delete child spec when child terminates

[Filipe David Manana]

Hi,

The following patch allows for atomically deleting a child spec from a
supervisor when the child terminates:

git fetch git://github.com/fdmanana/otp.git
supervisor_delete_child_spec_on_child_termination

The commit message explains the motivation for this feature/patch.

Best regards,


-- 
Filipe David Manana,
fdmanana@REDACTED, fdmanana@REDACTED

"Reasonable men adapt themselves to the world.
 Unreasonable men adapt the world to themselves.
 That's why all progress depends on unreasonable men."