We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
There are metrics that should be deleted, e.g.,
pd/server/cluster/coordinator.go
Line 676 in 0da658c
The text was updated successfully, but these errors were encountered:
metrics: delete the metrics instead of setting them to 0 (#5162)
2efa259
close #5163 Signed-off-by: Ryan Leung <[email protected]> Co-authored-by: Ti Chi Robot <[email protected]>
metrics: delete the metrics instead of setting them to 0 (tikv#5162)
43ef5ea
close tikv#5163 Signed-off-by: Ryan Leung <[email protected]> Co-authored-by: Ti Chi Robot <[email protected]>
Successfully merging a pull request may close this issue.
Enhancement Task
There are metrics that should be deleted, e.g.,
pd/server/cluster/coordinator.go
Line 676 in 0da658c
The text was updated successfully, but these errors were encountered: