diff options
Diffstat (limited to 'cmds/dumpstate/DumpPool.cpp')
| -rw-r--r-- | cmds/dumpstate/DumpPool.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cmds/dumpstate/DumpPool.cpp b/cmds/dumpstate/DumpPool.cpp index e174c8eff3..e15ac3fe82 100644 --- a/cmds/dumpstate/DumpPool.cpp +++ b/cmds/dumpstate/DumpPool.cpp @@ -100,6 +100,10 @@ void DumpPool::waitForTask(const std::string& task_name, const std::string& titl } } +void DumpPool::deleteTempFiles() { + deleteTempFiles(tmp_root_); +} + void DumpPool::setLogDuration(bool log_duration) { log_duration_ = log_duration; } |