Commit 19f4d873 authored by RILLING Louis's avatar RILLING Louis
Browse files

tansiv-client: Accept that packets can be sent at deadline time

parent 19443dd6
Pipeline #243829 passed with stages
in 24 minutes and 5 seconds
......@@ -180,7 +180,7 @@ impl Context {
deadline_handler_debug!("Context::at_deadline() fixing send_time to {:?}", previous_deadline);
previous_deadline
} else {
if send_time >= current_deadline {
if send_time > current_deadline {
// The kernel was too slow to fire the timer...
error!("send_time = {:?} is beyond current_deadline = {:?}! Aborting", send_time, current_deadline);
return AfterDeadline::EndSimulation;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment