aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFredrik Gustafsson <[email protected]>2013-04-09 16:23:14 +0200
committerFredrik Gustafsson <[email protected]>2013-04-09 16:23:14 +0200
commit49a7bf92fd14de9c1b778ef542c705067c535e0d (patch)
tree1e0ee29f84f374b1445f3de5249053386bc38493
parentb0dcce7d06fe729959bcfaa2182e74297348af36 (diff)
downloadotp-49a7bf92fd14de9c1b778ef542c705067c535e0d.tar.gz
otp-49a7bf92fd14de9c1b778ef542c705067c535e0d.tar.bz2
otp-49a7bf92fd14de9c1b778ef542c705067c535e0d.zip
Delete ets tables when stopped
-rw-r--r--lib/tools/src/cover.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl
index 85c116cb06..bf21aa6b48 100644
--- a/lib/tools/src/cover.erl
+++ b/lib/tools/src/cover.erl
@@ -881,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