Huachao Huang 74f7d7551e tools: use provided options instead of the default (#4839) ...

Summary:
The current implementation hardcode the default options in different
places, which makes it impossible to support other environments (like
encrypted environment).
Pull Request resolved: https://github.com/facebook/rocksdb/pull/4839

Differential Revision: D13573578

Pulled By: sagar0

fbshipit-source-id: 76b58b4b758902798d10ff2f52d9f39abff015e7

2019-01-03 11:23:49 -08:00

..

rocksdb

tools: use provided options instead of the default (#4839)

2019-01-03 11:23:49 -08:00