Details
-
Task
-
Resolution: Won't Do
-
Minor
-
master
-
None
Description
As suggested by Pavel Paulau, we should ensure that RocksDBs' log files are in the same directory as all other log files.
RockDB supports setting a custom logger - see info_log in https://github.com/facebook/rocksdb/blob/master/include/rocksdb/options.h.