open fun setJmxMetricsOptions(jmxMetricsOptions: VertxJmxMetricsOptions): MicrometerMetricsOptions
Set JMX metrics options. Setting a registry backend option is mandatory in order to effectively report metrics.
jmxMetricsOptions - backend options for JMX reporting
jmxMetricsOptions