[Positioner] InputMedium: initialise time_received

When reading a new request, set current_request.time_received.
This commit is contained in:
Matteo Cypriani 2012-06-01 15:32:49 +02:00
parent 7e55f8495c
commit edd0d48faa
1 changed files with 1 additions and 0 deletions

View File

@ -57,6 +57,7 @@ const Request& InputMedium::get_next_request()
return *current_request ;
}
current_request->received_now() ;
return *current_request ;
}