mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2024-10-27 00:51:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

index: make reindexing message less scary

Browse source
This commit is contained in:
Yuya Nishihara 2024-02-16 23:47:06 +09:00
parent a80d0183a2
commit 718d080e7a
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lib/src/default_index/store.rs
View file

@ -331,7 +331,10 @@ impl IndexStore for DefaultIndexStore {
// If the index was corrupt (maybe it was written in a different format),
// we just reindex.
// TODO: Move this message to a callback or something.
eprintln!("{err}: {source}. Reindexing...", source = err.error);
eprintln!(
"{err} (maybe the format has changed): {source}. Reindexing...",
source = err.error
);
self.reinit().map_err(|err| IndexReadError(err.into()))?;
self.build_index_segments_at_operation(op, store)
}