2015-05-02 05:04:10 +08:00
|
|
|
service.name: Phil
|
2015-07-08 16:42:35 +08:00
|
|
|
spring.metrics.export.redis.prefix: metrics.sample.${spring.metrics.export.aggregate.prefix}
|
2015-05-31 19:17:11 +08:00
|
|
|
spring.metrics.export.redis.key: keys.metrics.sample
|
2015-07-08 16:42:35 +08:00
|
|
|
spring.metrics.export.aggregate.prefix: ${random.value:0000}.${spring.application.name:application}
|
|
|
|
spring.metrics.export.aggregate.key-pattern: d
|
2015-05-11 19:43:41 +08:00
|
|
|
spring.jmx.default-domain: org.springframework.boot
|
2016-03-22 13:52:45 +08:00
|
|
|
spring.data.redis.repositories.enabled=false
|