Return a string with the name of the directory and a comma-separated list of scratch files under the specified scratch directory.
| 418 | // Return a string with the name of the directory and a comma-separated list of scratch |
| 419 | // files under the specified scratch directory. |
| 420 | string DumpScratchDir(const string& tmp_dir_path) { |
| 421 | string scratch_dir_path = tmp_dir_path + SCRATCH_SUFFIX; |
| 422 | vector<string> entries; |
| 423 | EXPECT_OK( |
| 424 | FileSystemUtil::Directory::GetEntryNames(scratch_dir_path, &entries)); |
| 425 | return "Directory " + scratch_dir_path + ": " + join(entries, ","); |
| 426 | } |
| 427 | |
| 428 | // Check that the file backing the page has dir as a prefix of its path. |
| 429 | static bool PageInDir(PageHandle* page, const string& dir) { |