mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-05 02:53:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

git_backend: cache head of saved extra metadata table

Browse source 
Just because we know the latest table head.
This commit is contained in:
Yuya Nishihara 2023-05-19 22:40:56 +09:00
parent a9422460cb
commit 5dba0502cb
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
lib/src/git_backend.rs
View file

@ -133,12 +133,15 @@ impl GitBackend {
) -> BackendResult<()> { ) -> BackendResult<()> {
let mut mut_table = table.start_mutation(); let mut mut_table = table.start_mutation();
mut_table.add_entry(id.to_bytes(), extras); mut_table.add_entry(id.to_bytes(), extras);
self.extra_metadata_store let table = self
.extra_metadata_store
.save_table(mut_table) .save_table(mut_table)
.map_err(|err| { .map_err(|err| {
BackendError::Other(format!("Failed to write non-git metadata: {err}")) BackendError::Other(format!("Failed to write non-git metadata: {err}"))
})?; })?;
*self.cached_extra_metadata.lock().unwrap() = None; // Since the parent table was the head, saved table are likely to be new head.
// If it's not, cache will be reloaded when entry can't be found.
*self.cached_extra_metadata.lock().unwrap() = Some(table);
Ok(()) Ok(())
} }
} }