diff options
author | Sverker Eriksson <[email protected]> | 2015-06-26 14:22:14 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2015-06-26 14:22:14 +0200 |
commit | 37a9aa5f35466838af383d53490b040142468673 (patch) | |
tree | 085c03703e6c422e4f78ba5dc58669f688a2dbe0 /erts/.gitignore | |
parent | 74a95b3d511177a9b35c2b0272b9ca5511b6f750 (diff) | |
download | otp-37a9aa5f35466838af383d53490b040142468673.tar.gz otp-37a9aa5f35466838af383d53490b040142468673.tar.bz2 otp-37a9aa5f35466838af383d53490b040142468673.zip |
erts: Fix ETS race between object deleter and table unfixer
causing the delete marked object to be left in the table
after safe_fixtable(_,false) has returned.
This is not super serious as the delete marked object
is quite benign and will be deleted at the next unfix operation.
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions