diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-04-09 16:23:14 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-04-09 16:23:14 +0200 |
| commit | 49a7bf92fd14de9c1b778ef542c705067c535e0d (patch) | |
| tree | 1e0ee29f84f374b1445f3de5249053386bc38493 | |
| parent | b0dcce7d06fe729959bcfaa2182e74297348af36 (diff) | |
| download | otp-49a7bf92fd14de9c1b778ef542c705067c535e0d.tar.gz otp-49a7bf92fd14de9c1b778ef542c705067c535e0d.tar.bz2 otp-49a7bf92fd14de9c1b778ef542c705067c535e0d.zip | |
Delete ets tables when stopped
| -rw-r--r-- | lib/tools/src/cover.erl | 2 |
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 |