Fail to restart monitoring server with the same Store

[denisshevchenko]

When I run System.Remote.Monitoring.forkServerWith function the first time - it works perfectly. But if I killed the server explicitly (using serverThreadId) and then try to start it again with the same Store, the server cannot be launched because of an exception:

The name ""ekg.server_timestamp_ms"" is already taken by a metric.
CallStack (from HasCallStack):
  error, called at ./System/Metrics.hs:214:5 in ekg-core-0.1.1.7-6wBeq6DHUUjI67QEVzudFR:System.Metrics

This is the first line in forkServerWith function:

Metrics.registerCounter "ekg.server_timestamp_ms" getTimeMs store

Unfortunately, there is no way to "unregister" this Counter before restarting of the server. So, what can I do?

[xsebek]

I have run into this issue when using EKG to measure Swarm terminal game.

It seems the only option is to keep the metric around and reuse it. I am passing it as Maybe MyMetricsRecord to the initialization function so that I don't register it twice.

Now that I think about it, it does not really work for Counter which I would like to reset back to zero (in new game). 😕
I guess I have to use Gauge instead.