From b0dcce7d06fe729959bcfaa2182e74297348af36 Mon Sep 17 00:00:00 2001 From: Manuel Rubio Date: Thu, 4 Apr 2013 12:04:21 +0200 Subject: fix a race condition when there're several applications in apps directory --- lib/tools/src/cover.erl | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib/tools/src') diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl index c2c627abe0..85c116cb06 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); -- cgit v1.2.3