Add redis properties as convenience in spring.metrics.export
The redis export and aggregate use case is a lot nicer with this shared data between the two component types. Also made MetricExportProperties itself a Trigger (so the default delay etc. can be configured via spring.metrics.export.*).
Showing
Please register or sign in to comment