aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFredrik Gustafsson <[email protected]>2013-04-10 18:42:59 +0200
committerFredrik Gustafsson <[email protected]>2013-04-10 18:42:59 +0200
commitf3c1b7246407b28a3134c45f16ab7bcdc4775a89 (patch)
treeb856ad12ab2256781016fcd8e835c075119b98c7
parentc55f2caf26cdb9709f06412de0feece4e95e5574 (diff)
parent49a7bf92fd14de9c1b778ef542c705067c535e0d (diff)
downloadotp-f3c1b7246407b28a3134c45f16ab7bcdc4775a89.tar.gz
otp-f3c1b7246407b28a3134c45f16ab7bcdc4775a89.tar.bz2
otp-f3c1b7246407b28a3134c45f16ab7bcdc4775a89.zip
Merge branch 'mar/cover-fix/OTP-11028' into maint
* mar/cover-fix/OTP-11028: Delete ets tables when stopped fix a race condition when there're several applications in apps directory
-rw-r--r--lib/tools/src/cover.erl7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl
index c2c627abe0..bf21aa6b48 100644
--- a/lib/tools/src/cover.erl
+++ b/lib/tools/src/cover.erl
@@ -721,6 +721,11 @@ main_process_loop(State) ->
end,
State#main_state.nodes),
reload_originals(State#main_state.compiled),
+ ets:delete(?COVER_TABLE),
+ ets:delete(?COVER_CLAUSE_TABLE),
+ ets:delete(?BINARY_TABLE),
+ ets:delete(?COLLECTION_TABLE),
+ ets:delete(?COLLECTION_CLAUSE_TABLE),
unregister(?SERVER),
reply(From, ok);
@@ -876,6 +881,8 @@ remote_process_loop(State) ->
{remote,stop} ->
reload_originals(State#remote_state.compiled),
+ ets:delete(?COVER_TABLE),
+ ets:delete(?COVER_CLAUSE_TABLE),
unregister(?SERVER),
ok; % not replying since 'DOWN' message will be received anyway