fix the bad index version on opening

This commit is contained in:
Tamo
2025-01-23 12:31:10 +01:00
committed by Louis Dureuil
parent 4f21ee6c66
commit 7197ced673
16 changed files with 31 additions and 21 deletions

View File

@ -303,7 +303,7 @@ fn export_a_dump(
for result in index_mapping.iter(&rtxn)? {
let (uid, uuid) = result?;
let index_path = db_path.join("indexes").join(uuid.to_string());
let index = Index::new(EnvOpenOptions::new(), &index_path).with_context(|| {
let index = Index::new(EnvOpenOptions::new(), &index_path, false).with_context(|| {
format!("While trying to open the index at path {:?}", index_path.display())
})?;