Jimdo / prometheus_client_php

Prometheus instrumentation library for PHP applications
https://prometheus.io/docs/concepts/metric_types/
Apache License 2.0
281 stars 213 forks source link

Let users change Redis key prefix #40

Closed 1player closed 7 years ago

1player commented 7 years ago

This pull request adds Prometheus\Storage\Redis::setPrefix to set a custom key prefix, to separate multiple installations on the same Redis server.

bracki commented 7 years ago

Makes sense to me. Thank you.