Home
last modified time | relevance | path

Searched refs:ARCHIVAL_DIR (Results 1 – 2 of 2) sorted by relevance

/rocksdb-6.9/file/
Dfilename.cc95 return dir + "/" + ARCHIVAL_DIR; in ArchivalDirectory()
99 return MakeFileName(name + "/" + ARCHIVAL_DIR, number, "log"); in ArchivedLogFileName()
329 if (rest.starts_with(ARCHIVAL_DIR)) { in ParseFileName()
330 if (rest.size() <= ARCHIVAL_DIR.size()) { in ParseFileName()
333 rest.remove_prefix(ARCHIVAL_DIR.size() + 1); // Add 1 to remove / also in ParseFileName()
Dfilename.h64 static const std::string ARCHIVAL_DIR = "archive"; variable