diff --git a/repos/base/src/lib/timeout/timer_connection_time.cc b/repos/base/src/lib/timeout/timer_connection_time.cc index a2c41f7c7b..d4f717d913 100644 --- a/repos/base/src/lib/timeout/timer_connection_time.cc +++ b/repos/base/src/lib/timeout/timer_connection_time.cc @@ -45,7 +45,7 @@ void Timer::Connection::_update_real_time() unsigned long volatile new_us = elapsed_us(); /* do not proceed until the time difference is at least 1 us */ - if (new_us == _us) { continue; } + if (new_us == _us || new_ts == _ts) { continue; } remote_time_trials++; /*