Rename copy_to_path to copy_to_file

This commit is contained in:
Clément Renault 2023-11-28 14:32:30 +01:00
parent 34c67ac389
commit ec9b52d608
No known key found for this signature in database
GPG Key ID: F250A4C4E3AE5F5F
2 changed files with 2 additions and 2 deletions

View File

@ -753,7 +753,7 @@ impl IndexScheduler {
let index = self.index_mapper.index(&rtxn, name)?;
let dst = temp_snapshot_dir.path().join("indexes").join(uuid.to_string());
fs::create_dir_all(&dst)?;
index.copy_to_path(dst.join("data.mdb"), CompactionOption::Enabled)?;
index.copy_to_file(dst.join("data.mdb"), CompactionOption::Enabled)?;
}
drop(rtxn);

View File

@ -312,7 +312,7 @@ impl Index {
self.env.info().map_size
}
pub fn copy_to_path<P: AsRef<Path>>(&self, path: P, option: CompactionOption) -> Result<File> {
pub fn copy_to_file<P: AsRef<Path>>(&self, path: P, option: CompactionOption) -> Result<File> {
self.env.copy_to_file(path, option).map_err(Into::into)
}