server
server copied to clipboard
Issue/#609 metrics for data structures
Add Monitored* data structures that automatically report their size to prometheus whenever they change.
Closes #609