Update index-scheduler/src/batch.rs

This commit is contained in:
Tamo 2022-10-27 18:08:21 +02:00 committed by GitHub
parent c9f89d38e3
commit 87cac158c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -875,7 +875,6 @@ impl IndexScheduler {
} }
// 2. Get the task set for index = name that appeared before the index swap task // 2. Get the task set for index = name that appeared before the index swap task
let mut index_lhs_task_ids = self.index_tasks(wtxn, lhs)?; let mut index_lhs_task_ids = self.index_tasks(wtxn, lhs)?;
index_lhs_task_ids.remove_range(task_id..); index_lhs_task_ids.remove_range(task_id..);
let mut index_rhs_task_ids = self.index_tasks(wtxn, rhs)?; let mut index_rhs_task_ids = self.index_tasks(wtxn, rhs)?;