Skip to content

Check version of the indexing DB - #1490

Merged
fblanqui merged 1 commit into
Deducteam:masterfrom
Alidra:indexing_db_version
Aug 25, 2026
Merged

Check version of the indexing DB#1490
fblanqui merged 1 commit into
Deducteam:masterfrom
Alidra:indexing_db_version

Conversation

@Alidra

@Alidra Alidra commented Aug 19, 2026

Copy link
Copy Markdown
Member

This PR adds a version number at the beginning of the search index file. It also verifies this version and fails with a clear error if the existing search index structure does not match the current one (instead of crashing consequently to a segmentation error)

Fixes: #1479, Fixes #1458, Fixes #1437

@Alidra Alidra changed the title heck version of the indexing DB Check version of the indexing DB Aug 24, 2026
@fblanqui
fblanqui merged commit 17f04f6 into Deducteam:master Aug 25, 2026
31 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants