tree 7c927ee54291c3b7dc63249940f12cdfa3b7140c
parent 31923eaa56c5eafb4b72fe23fdf34957e53e4f56
author Luca Milanesio <luca.milanesio@gmail.com> 1634672134 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1634685936 +0100

Filter out erroneous change during auto-reindex

The auto-reindex thread scans for all changes of all projects
to find out the ones that need reindexing. Avoid aborting the
whole process when one of them fails to be loaded.

Also, tidy up the readability of the whole scanning pipeline
by removing redundant data types declarations.

Change-Id: Iabbfcaca25750bbff745df9b3bbb04ad36fcbdd8