On 23/05/2023 14.31, Markus Armbruster wrote: ...
To stop creating more moles, we need to reserve IDs for the system's use, and let the system pick only reserved IDs going forward.
Just something to add here: We already have a function for generating internal IDs, the id_generate() function in util/id.c ... our convention is that we use "#" as prefix for those, so for new code (which is not affected by migration backward compatibility problems), we should maybe take care of always using that prefix for internal IDs, too.
Thomas
