Stork metrics are not up-to-date

Hi everyone,

Is there any refresh rate for the statistics exported under /metrics ?

I’m asking this because I’ve integrated Stork Server with Prometheus and Grafana. The issue is that in Stork Server the DHCP Lease usage adjusts accordingly to the ISC KEA DHCP server, but when pulling the metrics the value is not the same, seems to be an old one.

The fix to get /metrics up-to-date is to restart isc-stork-server which I don't consider a permanent fix.

Thank you !