tree 68f1a29f91799394e58ff0d20ea00fb579f50e2b
parent 32203afc081ad031a80b023c11acb9b0d70174d2
author Fabio Ponciroli <ponch78@gmail.com> 1658168635 +0200
committer Fabio Ponciroli <ponch78@gmail.com> 1658182055 +0000

Allow plugin to be reloaded

The plugin tries to register metrics every time is reloaded.
This raises an exception since metrics might already be registered in
the MetricRegistry.

Avoid re-registering a metric if already present.

Bug: Issue 16082
Change-Id: I616ec0f01cdf87efef15927401944e3473d21620