cache_restore --omit-clean-shutdown

This commit is contained in:
Joe Thornber
2013-10-29 12:46:23 +00:00
parent dcf4b0a99c
commit 31ce9a03fa
7 changed files with 38 additions and 16 deletions

View File

@@ -7,7 +7,7 @@
//----------------------------------------------------------------
namespace caching {
emitter::ptr create_restore_emitter(metadata::ptr md);
emitter::ptr create_restore_emitter(metadata::ptr md, bool clean_shutdown = true);
}
//----------------------------------------------------------------