diff options
author | Siri Hansen <[email protected]> | 2012-10-26 16:07:36 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2012-10-30 11:19:00 +0100 |
commit | f0010583fd53174b72341d64be3a481cccc4623c (patch) | |
tree | b0d22a77b14a3787f4d8fe8b6ad84d3e91312901 /plt | |
parent | fe9ed2938a02869b1df9554b32e4c4c453e6995c (diff) | |
download | otp-f0010583fd53174b72341d64be3a481cccc4623c.tar.gz otp-f0010583fd53174b72341d64be3a481cccc4623c.tar.bz2 otp-f0010583fd53174b72341d64be3a481cccc4623c.zip |
[cover] Don't kill remote nodes when connection to main node is lost
OTP-10523
Since the will probably be cover compiled modules left in the remote
node, we want to keep the cover_server and it's ets tables even if
connection to remote node is lost. This way it will not crash (due to
ets:insert in non existing table) if functions in cover compiled
modules are executed.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions