diff options
| -rw-r--r-- | ext/web/timers.rs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/ext/web/timers.rs b/ext/web/timers.rs index 7c83e8f37..6b00296ff 100644 --- a/ext/web/timers.rs +++ b/ext/web/timers.rs @@ -79,13 +79,17 @@ pub fn op_timer_handle(state: &mut OpState) -> ResourceId { /// [`TimerHandle`] resource given by `rid` has been canceled. /// /// If the timer is canceled, this returns `false`. Otherwise, it returns `true`. -#[op2(async(deferred), fast)] +#[op2(async(lazy), fast)] pub async fn op_sleep( state: Rc<RefCell<OpState>>, - #[number] millis: u64, + #[smi] millis: u64, #[smi] rid: ResourceId, ) -> Result<bool, AnyError> { - let handle = state.borrow().resource_table.get::<TimerHandle>(rid)?; + // If the timer is not present in the resource table it was cancelled before + // this op was polled. + let Ok(handle) = state.borrow().resource_table.get::<TimerHandle>(rid) else { + return Ok(false); + }; // If a timer is requested with <=100ms resolution, request the high-res timer. Since the default // Windows timer period is 15ms, this means a 100ms timer could fire at 115ms (15% late). We assume that |