diff options
author | Bartlomiej Puzon <[email protected]> | 2012-06-18 16:16:00 -0700 |
---|---|---|
committer | Bartlomiej Puzon <[email protected]> | 2012-06-18 16:16:00 -0700 |
commit | 0fcdb6fdd38291072dd130cf4362ea5e8f3d1717 (patch) | |
tree | 08512bcff4587baae92885928d10d4654d85c66a /.gitignore | |
parent | 8490cb6328da880119dbc1eb92d3b439a2c5f34a (diff) | |
download | otp-0fcdb6fdd38291072dd130cf4362ea5e8f3d1717.tar.gz otp-0fcdb6fdd38291072dd130cf4362ea5e8f3d1717.tar.bz2 otp-0fcdb6fdd38291072dd130cf4362ea5e8f3d1717.zip |
Prevent index from being corrupted if a nonexistent item is deleted
We have to ensure that we actually delete the last object with a
given (key, index) pair before removing the index.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions