[Positioner] Input: update current time (replay)

In replay mode, update the current time when getting a new request.
This commit is contained in:
Matteo Cypriani 2012-06-08 12:43:07 +02:00
parent d44680751c
commit 69461e5c94
1 changed files with 8 additions and 0 deletions

View File

@ -124,6 +124,14 @@ const Request& Input::get_next_request() const
const Request& request = medium->get_next_request() ;
log_current_request() ;
if (Configuration::is_configured("replay"))
{
Timestamp::update_current_time(request.get_time_sent()) ;
if (Configuration::is_configured("verbose"))
cerr << "Current time set to "
<< Timestamp::get_current_time() << ".\n" ;
}
// If the request is a calibration request, add it to the Stock
// (if allowed, and if it is not empty)
if (Configuration::bool_value(