diff --git a/index-scheduler/src/batch.rs b/index-scheduler/src/batch.rs index fbbe5d878..b855f2d92 100644 --- a/index-scheduler/src/batch.rs +++ b/index-scheduler/src/batch.rs @@ -555,11 +555,8 @@ impl IndexScheduler { } dump_tasks.flush()?; - // TODO: maybe `self.indexes` could use this rtxn instead of creating its own - drop(rtxn); - // 3. Dump the indexes - for (uid, index) in self.indexes()? { + for (uid, index) in self.index_mapper.indexes(&rtxn)? { let rtxn = index.read_txn()?; let metadata = IndexMetadata { uid: uid.clone(),