diff options
author | Björn Gustavsson <[email protected]> | 2016-01-13 13:35:53 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-01-20 12:32:58 +0100 |
commit | ca1964e765595dfe9089759adb5ef5eded4f2bf1 (patch) | |
tree | dbd180c67d62d2f2f080640e478b7cc9673229cc /erts/man | |
parent | 7189317ef89dfedaa35a804dfedd4fc27bf28d14 (diff) | |
download | otp-ca1964e765595dfe9089759adb5ef5eded4f2bf1.tar.gz otp-ca1964e765595dfe9089759adb5ef5eded4f2bf1.tar.bz2 otp-ca1964e765595dfe9089759adb5ef5eded4f2bf1.zip |
erl_prim_loader: Correct purging of the archive cache
prim_do_release_archives/3 can't make up its mind whether the
primary archive should be released or not. The key in the process
dictionary is kept, while #prim_state.primary_archive is cleared.
It seems that intent was the primary archive should be preserved,
because the function was intended to be called by a timeout routine
every sixth minute (it is not because of a bug in setting up
the timeout).
Therefore, rewrite the code to preserve the primary archive and
simplify it while at it. Also, rename prim_release_archives/1 to
prim_purge_cache/0 to make it clearer what it is doing.
Diffstat (limited to 'erts/man')
0 files changed, 0 insertions, 0 deletions