You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rework refresh_vgrid_map in order to init all vgrid entries in VGRIDS early
and to never skip init of the individual fields in those vgrid dicts, even if
the source file for the corresponding field (like `owners` or `members`) is
older than the map timestamp of the current vgrid map file. That should address
a potential race when vgrids are modified during long-running refresh calls and
any other causes for those fields missing in the existing map.
Remove an unused leftover variable in check_vgrid_access.
0 commit comments