Return a comma-separated string with the paths of the temporary file backing the pages.
| 407 | // Return a comma-separated string with the paths of the temporary file backing the |
| 408 | // pages. |
| 409 | static string TmpFilePaths(vector<PageHandle>& pages) { |
| 410 | vector<string> paths; |
| 411 | paths.reserve(pages.size()); |
| 412 | for (PageHandle& page : pages) { |
| 413 | paths.push_back(TmpFilePath(&page)); |
| 414 | } |
| 415 | return join(paths, ","); |
| 416 | } |
| 417 | |
| 418 | // Return a string with the name of the directory and a comma-separated list of scratch |
| 419 | // files under the specified scratch directory. |