This was introduced in #2142
|
if (!wait_result_.has_value() && !exhaustive) { |
This condition make the executor active spin until the time is over if used in spin_all.
I guess
if (!wait_result_.has_value() || !exhaustive) {
// In the case of spin some, then we can exit
// In the case of spin all, then we will allow ourselves to wait again.
break;
}
is the correct implementation.