From 83d1f858c14bb7fe3a60db8b195b12840d291b9f Mon Sep 17 00:00:00 2001 From: Tamo Date: Wed, 20 Nov 2024 14:36:05 +0100 Subject: [PATCH] Update crates/index-scheduler/src/lib.rs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Clément Renault --- crates/index-scheduler/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/index-scheduler/src/lib.rs b/crates/index-scheduler/src/lib.rs index 083363c95..fe1bcc3d2 100644 --- a/crates/index-scheduler/src/lib.rs +++ b/crates/index-scheduler/src/lib.rs @@ -802,7 +802,7 @@ impl IndexScheduler { if let Some(batch_uids) = batch_uids { let mut batch_tasks = RoaringBitmap::new(); for batch_uid in batch_uids { - if Some(*batch_uid) == processing_batch.as_ref().map(|batch| batch.uid) { + if processing_batch.as_ref().map_or(false, |batch| batch.uid == *batch_uid) { batch_tasks |= &processing_tasks; } else { batch_tasks |= self.tasks_in_batch(rtxn, *batch_uid)?;