Skip to content

0.0.23 / 2017-05-29
Compare
Choose a tag to compare
@brian-brazil brian-brazil released this 29 May 14:27
parent-0.0.23
707450e

[FEATURE] /metrics can be filtered using ?name= url parameter
[CHANGE] Change Timer#close to not throw IOException, simplifying usage
[BUGFIX] Don't double initialise servlet MetricsFilter

Assets 2
Loading