Revision 40af2381ecf95445675b7329c4a1c5f89f82d1ab authored by Maysam Yabandeh on 06 May 2017, 03:10:56 UTC, committed by Facebook Github Bot on 06 May 2017, 06:20:01 UTC
Summary:
Any non-raw-data dependent object must be destructed before the table
closes. There was a bug of not doing that for filter object. This patch
fixes the bug and adds a unit test to prevent such bugs in future.
Closes https://github.com/facebook/rocksdb/pull/2246
Differential Revision: D5001318
Pulled By: maysamyabandeh
fbshipit-source-id: 6d8772e58765485868094b92964da82ef9730b6d
1 parent fdaefa0
Computing file changes ...
