From 49a7bf92fd14de9c1b778ef542c705067c535e0d Mon Sep 17 00:00:00 2001
From: Fredrik Gustafsson <fredrik@erlang.org>
Date: Tue, 9 Apr 2013 16:23:14 +0200
Subject: Delete ets tables when stopped

---
 lib/tools/src/cover.erl | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
cgit v1.2.3