diff options
| author | Siri Hansen <[email protected]> | 2011-04-28 12:44:05 +0200 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2011-04-28 12:44:05 +0200 |
| commit | fbe3499614deb0165e93d03e6d84cfd8a3510958 (patch) | |
| tree | 407a63fd0ed2b6e421483430f04f95f316ae3984 /.gitignore | |
| parent | 269f663aa051a1de83ee51d46a09cf62cde3d55b (diff) | |
| parent | 1a8341595c1bca1f46aa0afee8e5f01675379980 (diff) | |
| download | otp-fbe3499614deb0165e93d03e6d84cfd8a3510958.tar.gz otp-fbe3499614deb0165e93d03e6d84cfd8a3510958.tar.bz2 otp-fbe3499614deb0165e93d03e6d84cfd8a3510958.zip | |
Merge branch 'siri/stdlib/supervisor-terminate_child-simple_one_for_one/OTP-9201' into dev
* siri/stdlib/supervisor-terminate_child-simple_one_for_one/OTP-9201:
Add terminate_child(Sup, Pid) for simple_one_for_one
Allow supervisor:terminate_child(SupRef,Pid) for simple_one_for_one
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions