Skip to content

fix id overflow for more than 10000 elements

Per issue 378, get_unique_id() will get stuck in an infinite loop if the document has too many elements. This modifies the default value of size to scale logarithmically with the number of elements.

Thanks @burghoff

Closes #378 (closed), !341 (closed)

Edited by Jonathan Neuhauser

Merge request reports