Rework `refresh_vgrid_map` in order to address a potential race and missing field init#380

Open

jonasbardino wants to merge 2 commits intonextfrom

fix/corner-case-missing-init-of-vgrid-map-vgrid-fields

Commits on Nov 12, 2025

Rework `refresh_vgrid_map` in order to init all vgrid entries in `VGRIDS` early
jonasbardino
committed
Apply same idea to the update of `RESOURCES` and `USERS` in `refresh_vgrid_map`
jonasbardino
committed