mirror of
https://github.com/corda/corda.git
synced 2024-12-20 05:28:21 +00:00
ed0cf91946
* Jolokia agents are loaded dynamically if configured * Renamed exportJmxTo (never used) to jmxMonitoringHttpPort and take it from config * Updated documentation and tests |
||
---|---|---|
.. | ||
src | ||
build.gradle |