| 802 | } |
| 803 | |
| 804 | String File::getTemporaryFile(const String& alternative_file) |
| 805 | { |
| 806 | // take no action |
| 807 | if (!alternative_file.empty()) |
| 808 | { |
| 809 | return alternative_file; |
| 810 | } |
| 811 | // create temporary (and schedule for deletion) |
| 812 | return temporary_files_.newFile(); |
| 813 | } |
| 814 | |
| 815 | |
| 816 | File::TemporaryFiles_::TemporaryFiles_() |