diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-04-10 18:42:59 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-04-10 18:42:59 +0200 |
| commit | f3c1b7246407b28a3134c45f16ab7bcdc4775a89 (patch) | |
| tree | b856ad12ab2256781016fcd8e835c075119b98c7 /lib/tools | |
| parent | c55f2caf26cdb9709f06412de0feece4e95e5574 (diff) | |
| parent | 49a7bf92fd14de9c1b778ef542c705067c535e0d (diff) | |
| download | otp-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
Diffstat (limited to 'lib/tools')
| -rw-r--r-- | lib/tools/src/cover.erl | 7 |
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 |