diff options
author | Siri Hansen <[email protected]> | 2012-12-18 18:19:29 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2012-12-19 12:24:38 +0100 |
commit | c89f88ab3ec77ebc1cef180e1ae5c9917b4c7b06 (patch) | |
tree | 9deaefcc2602d2c03e2eb7a0eedeb6c82ec37e02 /.gitignore | |
parent | 955d2f9dad5cedc25afb8dd7893f697f4f6f26a9 (diff) | |
download | otp-c89f88ab3ec77ebc1cef180e1ae5c9917b4c7b06.tar.gz otp-c89f88ab3ec77ebc1cef180e1ae5c9917b4c7b06.tar.bz2 otp-c89f88ab3ec77ebc1cef180e1ae5c9917b4c7b06.zip |
[cover] Don't mark stopped node as lost
Nodes that were stopped with cover:stop/1 were marked as lost and
would be reconnected if a nodeup was later received for a node with
the same name. This has been corrected.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions