Skip to content

Conversation

@balena
Copy link

@balena balena commented May 12, 2020

This PR adds functions clear/1,2,3 to all metrics allowing users to clear (erase) existing metrics. This is useful case the app needs to stop (interrupt) certain metrics along its lifecycle.

Copy link
Contributor

@essen essen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have looked at the PR earlier this week and I saw no particular problem with it. I have however not tested it and will likely not have time to do so in the near future.

@balena
Copy link
Author

balena commented May 20, 2020

I believe this PR isn't needed... I believe it duplicates what the remove function does.

@deadtrickster
Copy link
Collaborator

@balena so maybe close it?

@balena
Copy link
Author

balena commented Sep 15, 2020

Yes please

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants