Closed lawnsea closed 9 years ago
If last_deadline is less than the current time, it will never be the case that the two are equal, since time is monotonically increasing (#7). So, instead wait for the current time to be greater than or equal to last_deadline.
last_deadline
Whoops, this actually fixes #7.
lgtm, thanks.
If
last_deadline
is less than the current time, it will never be the case that the two are equal, since time is monotonically increasing (#7). So, instead wait for the current time to be greater than or equal tolast_deadline
.