Searched refs:FILE_EXT (Results 1 – 1 of 1) sorted by relevance
34 const char FILE_EXT[] = ".db"; variable171 .append(level_).append(FILE_NAME_SEPARATOR).append(std::to_string(seq)).append(FILE_EXT); in CreateCurFile()