Stephane Nicoll ce2346b087 Reintroduce endpoints.metrics.filter.enabled ... Commit 8c14009 removed the endpoints.metrics.filter.enabled property so that endpoints.metrics.enabled is used for both disabling the endpoint and the servlet filter that records interactions. This was an unfortunate decision as it was no longer possible to only disable the servlet filter. The endpoints.metrics.filter.enabled property has therefore been restored. Closes gh-4365		2015-12-10 15:37:10 +01:00
..
src/main	Reintroduce endpoints.metrics.filter.enabled	2015-12-10 15:37:10 +01:00
pom.xml	Next Development Version	2015-10-16 05:57:24 -07:00