| 559 | } |
| 560 | |
| 561 | std::string ResourceManager::buildReplayFilename() |
| 562 | { |
| 563 | static std::locale loc(std::wcout.getloc(), new boost::posix_time::time_facet("%Y%m%d_%H%M%S")); |
| 564 | std::ostringstream ss; |
| 565 | ss.imbue(loc); |
| 566 | ss << "replay_" << boost::posix_time::second_clock::local_time() << ".odr"; |
| 567 | return ss.str(); |
| 568 | } |
| 569 | |
| 570 | void ResourceManager::buildCommandOptions(boost::program_options::options_description& desc) |
| 571 | { |
no outgoing calls
no test coverage detected