2015-05-02 05:04:10 +08:00
|
|
|
service.name: Phil
|
2015-05-31 19:17:11 +08:00
|
|
|
spring.metrics.export.redis.prefix: metrics.sample.${random.value:0000}.${spring.application.name:application}
|
|
|
|
spring.metrics.export.redis.key: keys.metrics.sample
|
2015-05-11 19:43:41 +08:00
|
|
|
spring.jmx.default-domain: org.springframework.boot
|