Naman Gupta 1d9bac4d7f Use sanitized options while opening db
Summary: We use SanitizeOptions() to set appropriate values for some options, based on other options. So we should use the sanitized options by default. Luckily it hasn't caused a bug yet, but can result in a bug in the fugture.

Test Plan: make check

Reviewers: haobo

CC: leveldb

Differential Revision: https://reviews.facebook.net/D14103
2014-01-14 11:46:24 -08:00
..
2013-12-10 10:48:35 +02:00
2013-10-28 17:54:09 -07:00
2013-12-03 11:17:58 -08:00
2013-10-28 17:54:09 -07:00
2013-10-25 08:32:14 -07:00
2013-12-03 12:42:15 -08:00
2013-12-03 12:42:15 -08:00