Mika Eloranta 0367a39e1f postgresql_extensible: custom address in metrics output ...

Allow overriding the the metrics "server" tag with the specified
value. Can be used to give a more user-friendly value for the server
name.

closes #1093

2016-04-25 16:33:35 -06:00

7.8 KiB

Raw Blame History

View Raw