Re: [DISCUSS] changing the default JMX service uri

[Christian Müller]

Hello Guillaume,

thanks for the hint. I attached the documentation patch to the issue.
Ioannis is working on it...

Cheers,
Christian