diff options
| author | Manuel Rubio <[email protected]> | 2013-04-04 12:04:21 +0200 |
|---|---|---|
| committer | Manuel Rubio <[email protected]> | 2013-04-04 12:04:21 +0200 |
| commit | b0dcce7d06fe729959bcfaa2182e74297348af36 (patch) | |
| tree | c042acf4af9e4ad28bb199ab0ce36be3a4ca5bee /lib/tools/src | |
| parent | 8dba74ac7ff331a2c4870cc64b62dd4f168533eb (diff) | |
| download | otp-b0dcce7d06fe729959bcfaa2182e74297348af36.tar.gz otp-b0dcce7d06fe729959bcfaa2182e74297348af36.tar.bz2 otp-b0dcce7d06fe729959bcfaa2182e74297348af36.zip | |
fix a race condition when there're several applications in apps directory
Diffstat (limited to 'lib/tools/src')
| -rw-r--r-- | lib/tools/src/cover.erl | 5 |
1 files changed, 5 insertions, 0 deletions
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); |