diff options
| author | Siri Hansen <[email protected]> | 2012-12-19 12:25:07 +0100 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2012-12-19 12:29:10 +0100 |
| commit | c1ecd14be890ec4f2e8a25f00525412a381fcc72 (patch) | |
| tree | 51e7f0971e013e798b4535ac7eea466909c9825e /configure.in | |
| parent | c89f88ab3ec77ebc1cef180e1ae5c9917b4c7b06 (diff) | |
| download | otp-c1ecd14be890ec4f2e8a25f00525412a381fcc72.tar.gz otp-c1ecd14be890ec4f2e8a25f00525412a381fcc72.tar.bz2 otp-c1ecd14be890ec4f2e8a25f00525412a381fcc72.zip | |
[cover] Remove stopped node also from lost_nodes list
A nodes that was stopped with cover:stop/1 while marked as lost would
not be removed from the list of lost nodes. Therefore, if a nodeup was
later received for a node with the same name, it would be
reconnected. This has been corrected.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions